Verocel provides expertise and services for Software Verification in the safety critical software industry. The company has experience providing safety critical software services in the Avionics, Nuclear, and Railway industries. Its services include the development and review of software plans and standards, software requirement and test development, software structural coverage analyses, life cycle data traceability, and outsource support.