Home
People
Publications
Theses
Courses
Projects
Events
Info for New Students
Reading Group
Software
Funding
FM Links
Tools:: Perfect Developer Education Edition
Website
Perfect Developer Education Edition
download
Input Languanges:
Perfect Developer Education Edition
Supported Techniques:
Derivational/Transformational Reasoning, Heuristic Theorem Proving, Abstraction, Refinement
Platforms:
Windows NT, Linux
