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 http://www.logic.at/people/feinerer/publications/fpv.pdf.

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