Escher Technologies Escher Technologies
Home Products Services Support News Company Contact Associates Publications
Escher Technologies
Grand Challenge 6 Welcome
Our company researches, develops and delivers tools for the efficient construction of provably correct software.

New!
We will be at SSS'10 on 10 February. Join us there! 		Dependable Systems Evolution
     
  Search for:

 
      
 
We Reduce the Cost of Developing Critical Software

development tools

Using advanced Automated Reasoning technology, Perfect Developer reduces the cost of developing high-integrity software for safety-critical, mission-critical or business-critical systems.

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 safety-critical software consultancy to assist you with developing software to standards such as IEC 61508, DO-178B and DefStan 00-56. We can develop your business-critical application and guarantee its security against common types of attack.

 

flying at sunset (from Getty Images under licence)

TOPTOP
Copyright © 1997-2010 Escher Technologies Limited. All rights reserved. Information in this document is subject to change without notice.