We offer tools and consultancy to help you produce high-integrity embedded software for safety-critical applications. Using advanced automated reasoning, our tools deliver the benefits of formal verification using a fraction of the effort demanded by most other formal tools.

By using our tools to prove the system correct before it is built, you avoid the need for debug/re-work/re-test cycles. When used within a mature software development process, Perfect Developer and Escher C Verifier can reduce the need for unit testing, by facilitating Correct by Construction software development.

Follow the links below to see how Perfect Developer and Escher C Verifier can help you construct embedded software to meet particular sector-specific safety standards.

 

IEC 61508 embedded software development and verification

ISO 26262 embedded software development and verification

DO-178C embedded software development and verification

UK Defence Standard 00-56 embedded software development and verification