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: PD Version 3.12 released. More details here...
Dependable Systems Evolution
  Escher Technologies: building Bug-Free Software
 
expertise bug free software
Software bugs are expensive. They cause business interruption, lost productivity, customer dissatisfaction and product recalls. Wouldn't it be better if software worked right every time? More about bug-free software...
 
products tools
Using advanced Automated Reasoning technology, our product Perfect Developer empowers you to develop bug-free software for mission-critical, business-critical or safety-critical systems. More...
 
       
 
consultancy consultancy
We can develop your business-critical application and guarantee its security against common types of attack. We also provide safety-critical software consultancy to assist you with developing software to standards such as IEC 61508, DO-178B and DefStan 00-56. More...
 
meet us  meet us
If you would like us to present to your company or university, please contact us.

Take the straight road with Perfect Developer
 


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