Escher Technologies Escher Technologies
Home Tools Services Support News Company Contact Publications Articles
Escher Technologies
More:
arrowEscher Verification Studio
arrowEscher C Verifier
arrowPerfect Developer
arrowEvaluating the tools
arrowWhat others say
arrowCritical embedded software
arrowYour development process
arrowPD and SPARK Ada
arrowSummary of benefits



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.


"[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 http://www.cs.nuim.ie/toolap/pd/RefinementPD/RefinementPD.pdf.


“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-2016 Escher Technologies Limited. All rights reserved. Information is subject to change without notice.      Link to  Privacy/Cookie Policy (new window)