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

Escher Technologies
researches, develops and delivers tools for the efficient construction
of provably-correct
software.
New!
Version 6 of our tools now out!   More... 		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.

services

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

 
  
Latest Articles updated:
TOPTOP
Copyright © 1997-2013 Escher Technologies Limited. All rights reserved. Information in this document is subject to change without notice.      Link to Privacy Policy (new window)