Escher Technologies Escher Technologies
Home Tools Services Support News Company Contact Publications Articles
Escher Technologies
arrowEscher Verification Studio
arrowAbout Perfect Developer
arrowWhat others say about PD
arrowCritical software
arrowYour development process
arrowPD process overview
arrowPD and SPARK Ada
arrowSummary of benefits
arrowEvaluating the tools

Perfect Developer - Making software bugs extinct!

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.”

Guy Mason, General Dynamics UK Ltd .   Read more here.

“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.”

John Warren, 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. Read the full report at

"[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)


Home    TOPTOP
Copyright © 1997-2013 Escher Technologies Limited. All rights reserved. Information is subject to change without notice.Development      Link to  Privacy Policy (new window)