Escher Technologies - Education - using ETL tools in teaching


	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.

Using Escher Technologies' tools in teaching

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

Perfect Developer :

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

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.

Enquire here about using Perfect Developer for teaching

Home

TOP