Escher Technologies Escher Technologies
Home Tools Services Support News Company Contact Associates Publications
Escher Technologies
Grand Challenge 6 Welcome

Escher Technologies
researches, develops and delivers tools for the efficient construction
of provably-correct
software.
Dependable Systems Evolution
 
We Reduce the Cost of Developing Critical Software

development tools

Using advanced Automated Reasoning technology, Perfect Developer and the Escher C Verifier reduce the cost of developing safety-critical software or software for other high-integrity applications.

teaching tools

For universities and colleges which offer courses in formal methods of software development:
Perfect Developer Free Edition makes this challenging subject easier to teach and enjoyable to learn.

consultancy

We can provide you with consultancy to assist you with developing your critical software. Our services include DO-178B software development and IEC 61508 software development.
flying at sunset (from Getty Images under licence)
Search Escher sites for:

 
  
Have you seen these posts
    in our C/C++ Verification Blog?
TOPTOP
Copyright © 1997-2011 Escher Technologies Limited. All rights reserved. Information in this document is subject to change without notice.      Link to Privacy Policy (new window)