Resources

Formal Methods

• Wikipedia entry
• Formal Methods wiki site

Alloy

• FAQ
• Examples, including those seen in class: family, academia, dynamic systems
• Main website
• Community site
• Reference manual [pdf]
• Cheatsheet [pdf]

Lustre

• Kind 2 Online
• The main Kind 2 website
• Kind 2 User Documentation
• Textmate/Sublime editing mode for Kind 2's extension of Lustre
• Emacs editing mode for Lustre

Dafny

• The main Dafny website, with quick reference
• Examples seen in class
• Online version of the system
• An on-line tutorial
• Online cheat sheet
• Reference manual
• Development website