Formal Methods

Please notice that some of the formal methods appear on the projects page.

• Action Semantics
• CoFI, the Common Framework Initiative.
• EPSILON, Tools for Automatic Verification of Real-Time Systems
• IFIP WG1.3, Foundations of System Specification
• TAV, Tools for Automatic Verification
• The MONA/FIDO Project
• TLP, a system for assisting in writing and reasoning about specifications using TLA, the Temporal Logic of Actions
• UPPAAL, a Tool Suite for Verification of Real-Time Systems. See also Newsletter article

BTOOLS was a collection of automated verification tools and related gadgets collected for pure fun and for the benifit of our students.