Home Products Services Support News Company Contact Associates Publications

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...

Escher Technologies: building 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...   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...             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...   If you would like us to present to your company or university, please contact us.

TOP

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