news
David's blog
(opens in a new window)
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
Perfect Developer Version 4 released
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).
Our paper on mathematical verification of C programs
was presented at SEFM in September 2007.
If you missed it, read the paper here...
Perfect Developer and Grand Challenge 6
We're proud to announce the involvement of Escher Technologies with this challenge.
Full article here
|
TOP
