Using Perfect Developer in teaching

For universities and colleges which offer courses in formal methods of software development, 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
• Has an automated theorem prover to take the hard work out of verification
• Supports object-oriented development using the Verified Design-by-Contract paradigm
• Imports models from most UML tools
• Runs on a choice of Windows or Linux platform

Enquire about using Perfect Developer for teaching

View our on-line tutorials