Using Escher Technologies' tools in teaching

Teaching formal methods of software development

Perfect Developer Free Edition makes modern formal methods easy to teach and enjoyable to learn.   

• Provides easy-to-learn specification notation based on programming language constructs
• Teaches fundamental concepts including preconditions, postconditions, loop invariants etc.
• Lets students develop and run real Java or C++ programs from specifications
• Supports object-oriented development using the Verified Design-by-Contract paradigm
• Automated theorem prover to take the hard work out of verification

Teaching high-integrity embedded C development

For those teadhing high-integrity software development in C, Escher C Verifier Free Edition offers the following:

• Supports Design-by-Contract programming in C
• Automated theorem prover to verify the contracts and other soecifications
• Checks more than 50% of the MISRA-C 2012 rules providing an introduction to MISRA-C without the need for additional tools
• Partial support for C++ available

Both tools run on a choice of Windows or Linux platform.

Examples of how different universities have used our tools

Teaching materials for university staff

View our on-line tutorials