Escher Technologies Escher Technologies
Home Tools Services Support News Company Contact Associates Publications
Escher Technologies
Reducing the cost of critical software development


Perfect Developer - Making software bugs extinct!
More:
arrowWhat others say about PD
arrowManuals and guides
arrowOnline tutorials
 

publications

Each publication opens in a new window. Perfect Developer product datasheets
 
A comparison of tools for teaching formal software verification
(PDF, 204K)   A paper published in Formal Aspects of Computing, June 2008, by Ingo Feinerer and Gernot Salzer (Springer subscription required for complete paper)
 
Verification of C Programs Using Automated Reasoning
(PDF, 141K)   A paper presented at SEFM 2007 (5th IEEE International Conference on Software Engineering and Formal Methods. London, UK. September 10-14, 2007)
 
Verifying Compilers for Financial Applications
(PPT, 2900K)  An informal talk about verification of investment banking applications, presented at the Grand Challenge 6 workshop of Formal Methods 2005.
 
Generating commercial web applications from precise requirements and formal specifications
(PDF, 159K)  Accepted for presentation at the 1st International Workshop on Automated Specification and Verification of Web Sites (WWV'05)
 
Safe Object-Oriented Software: the Verified Design-by-Contract paradigm
(PDF, 165K)  Proceedings of the Twelfth Safety-Critical Systems Symposium (ed. F.Redmill & T.Anderson) 19-41, Springer-Verlag, London, 2004. ISBN 1-85233-800-8.
 
Perfect Developer: what it is and what it does
(PDF, 84K)  FACS Facts (newsletter of the BCS Formal Aspects of Computer Science special interest group), November 2004.
 
A High Productivity Tool for Formally Verified Software Development
(PDF, 254K)   Presented at the Formal Methods Workshop in Industrial Applications. Ghent, Belgium. November 27, 2003.
 
Perfect Developer: A tool for Object-Oriented Formal Specification and Refinement
(PDF, 109K)  Published in the Tools Exhibition Notes at Formal Methods Europe, 2003.
 
Developing Reliable Software using Object-Oriented Formal Specification and Refinement
(PDF, 54K)  An extended abstract introducing the principles behind Perfect Developer.
 
Teaching Formal Methods with Perfect Developer
(PDF, 58K)  A short paper on using Perfect Developer in teaching.
 
datasheets
 
Perfect Developer for Critical Systems datasheet (PDF, 256K).
 
Perfect Developer for Education datasheet (PDF, 228K).
 
 


Home    TOPTOP
Copyright © 1997-2010 Escher Technologies Limited. All rights reserved. Information in this document is subject to change without notice.