What others say about Perfect Developer

“We have used this toolset on two substantial developments, and we intend to use it on future projects.”

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

“We have used Perfect Developer for about four years and we have received excellent support from Escher Technologies throughout.”

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)