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, Automotive, Nuclear, and Railway industries. Our services include the development and review of software plans and standards, software requirement and test development, software structural coverage analysis, life cycle data traceability and outsource support. Founded in 1999, Verocel is privately held and headquartered in Westford, Massachusetts.