Escher Technologies Escher Technologies
Home Tools Services Support News Company Contact Publications Articles
Escher Technologies
Welcome
Escher Technologies research, develop and deliver tools for the efficient construction of provably-correct software
News

Bitwise Ltd
is using Perfect Developer to develop critical embedded software


Escher Verification Studio
Version 6.10 now out!
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:

 
  
TOPTOP
Copyright © 1997-2014 Escher Technologies Limited. All rights reserved. Information in this document is subject to change without notice.      Link to Privacy/Cookie Policy (new window)