Verocel provides proven expertise, services and tools 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. We support our clients with a comprehensive range of consulting and services, from project coaching through to the complete outsourcing of all verification activities. The use of our tools significantly increases quality and efficiency in safety critical software processes.

Our company philosophy is based on our belief that Mission Critical and Safety Critical software needs the care, attention, and rigor necessary to be confident that such systems will not fail.

Verocel has developed a set of processes that support the regulations of certification authorities including the FAA's most stringent criticality level (Level A) for DO-178B.

The Verocel services include training and project coaching, development and review of software plans and standards, software requirements and tests, software structural coverage analyses, robust partitioning analyses, gap analyses, and others. Very often Verocel customers outsource the complete verification process or large parts of it to Verocel.

Verocel off-the-shelf tools support requirements managements and traceability, including life-cycle support (VeroTrace), structural coverage analysis, based on object or source code (VerOCode, VeroSource, VeroSource-A), worst-case stack usage analysis (VerOStack), control coupling analysis (VeroLink), and management of configuration data for IMA systems (VerIMAx). Verocel also develops tools to support specific project needs, e.g. simulators, on a case by case basis.