Verocel provides expertise and services for Software Verification in the safety critical software industry. The Verocel staff has extensive experience providing safety critical software services in the Avionics, Nuclear, and Railway industries. Our 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.