Escher Technologies Escher Technologies
Home Tools Services Support News Company Contact Associates Publications
Escher Technologies
"We were impressed with the ease of code generation from a specification using Perfect Developer,"

Royal Holloway's Professor Steve Schneider

Perfect Developer - Making software bugs extinct!
 

news

David David's blog
(opens in a new window)

Thursday October 15 2009

Perfect Developer and GDUK

General Dynamics UK Ltd. will use Escher Technologies’ flagship product Perfect Developer to specify and design a safety-critical airborne stores management system.

More details here


Monday 13 July 2009

Perfect Developer Version 4 released

Judith PD 4.0 brings improvements to many areas of the product, including:

  • The Perfect language has been extended to support exceptions
  • In addition to C++ and Java, the code generators can now generate C# 2.0 code, and we provide a C# version of the Perfect runtime library
  • C++ code generation has been reworked to support 16-bit character sets and to resolve incompatibilities with strictly-conforming compilers such as gcc 4.3
  • Several improvements have been made to the theorem prover
More details can be found in the Perfect Developer 4.0 readme file (available in the download package).


Friday 28 September 2007

Our paper on mathematical verification of C programs was presented at SEFM in September 2007. If you missed it, read the paper here...

David at exhibition at SEFM

Friday 13 January 2006

Perfect Developer and Grand Challenge 6

We're proud to announce the involvement of Escher Technologies with this challenge. Full article here


 

 


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