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

Examples of how different universites have used PD

Teaching materials for university staff

View our on-line tutorials