products - Perfect Developer
What others say about Perfect Developer
“Our need is to meet the requirements of defence standard 00-55 to Safety
Integrity Level 4. Escher Technologies software met our requirements best.
“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.”
General Dynamics UK Ltd
. Read more
“We have used Perfect Developer for about four years and we
have received excellent support from Escher Technologies throughout.”
“The ability of the theorem prover to identify problems
in specifications is extremely valuable and leads directly to high-quality
code. We were impressed by the code generator.”
Precision Design Technology Ltd
"PD is the only tool of the four that comes close to the ideal of
automatic and easy program verification."
Ingo Feinerer, MSc Thesis, Vienna University of Technology.
"[Perfect Developer] is relatively easy for software engineers to learn,
even if they are not mathematically inclined.
Once learned, it rewards the user with some surprisingly good verifications,
and often enough uncovers unexpected errors in code."
Gareth Carter, Rosemary Monahan and Joseph Morris in a paper presented at
Software Engineering and Formal Methods 2005.
Read the paper at
“We were impressed with the ease of code generation
from a specification using Perfect Developer”
Professor Steve Schneider, University of Surrey
(formerly of Royal Holloway, University of London)