“We were especially impressed by the automation of verification proofs,
which will substantially reduce our costs, and by the level of support
provided by Escher Technologies.”
Guy Mason
General Dynamics UK Ltd.
|
 |
|
|
| |
tools
|
|
|
|
Perfect Developer is a tool for modelling software systems, providing
formal proofs of correctness, and (optionally) generating code from the model.
Perfect Developer
Critical Systems Edition
|
Perfect Developer
Educational Edition
|
|
|
 |
ArC is a tool (to be released shortly) for
verifying programs written in a subset of C or C++
|
|
|
|
TOP
