Escher Technologies - Publications

Home

The experts in dependable object technology.

Perfect Developer - Making software bugs extinct!

More:
	What others say about PD
	Manuals and guides
	Online tutorials

papers

Updated! 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)

A High Productivity Tool for Formally Verified Software Development
(PDF, 254K)

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.

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, 606K).

Perfect Developer for Education datasheet (PDF, 758K).

Consultancy Services datasheet (PDF, 1120K).

TOP