Escher Technologies Escher Technologies
Home Tools Services Support News Company Contact Publications Articles
Escher Technologies

Perfect Developer can be used to produce code which perfectly implements We do not claim that the Perfect specification language itself is perfect. a precise specification.
Perfect Developer - Making software bugs extinct!
 

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++ already available, with more coming soon

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

Enquire here about using Perfect Developer or Escher C Verifier for teaching
 


Home    TOPTOP
Copyright © 1997-2017 Escher Technologies Limited. All rights reserved. Information is subject to change without notice.      Link to  Privacy/Cookie Policy (new window)