news
David's blog
(opens in a new window)
Perfect Developer New Release: Version 4.10
The Free Edition of PD 4.10 is now available.
If you're currently using an earlier version of PD Free Edition, and you'd like to use the new version,
you'll need a new download key.
The Critical Systems Edition of PD 4.10 is now available as a
Release Candidate.
As requested by our commercial customers,
Perfect now supports:
- class history invariants, with the option to exempt
certain schemas from having to obey them
-
properties with postconditions, which
provides a convenient way of describing expected consequences
of calling schemas, especially where multiple variables are modified.
Also, we now provide partial support for
code generation in smaller subsets of C++ ("Embedded C++") and Ada ("SPARK Ada"),
making it easier
to avoid dynamic memory allocation in the generated code.
Plus many smaller improvements and fixes which are detailed in the readme
file accompanying the download.
David's New Verification Blog
Today, David started a Verification Blog. (opens in a new window)
David intends to focus on
the use of C and C++ in critical systems - in particular, on language subsets
such as MISRA-C, MISRA-C++ and JSF C++, and on formal verification
tools for C and C++, such as the forthcoming ArC tool
from Escher Technologies.
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
|