Resources

Formal Methods

• Wikipedia entry
• Formal Methods Europe

Alloy

• Examples, including those seen in class: family, academia, dynamic systems
• Official website
• Official Docs
• Reference manual
• FAQ
• Discussion group
• Alloy 5 Cheatsheet [pdf]

Lustre

• Examples seen in class
• Kind 2 online version
• Kind 2 official website
• Kind 2 user documentation

Dafny

• Examples seen in class
• Online installation of an old version of the system (not recommended for homework)
• The main documentation website, which includes
  • a quick reference
  • a getting started guide and several tutorials
  • a cheat sheet
  • the full reference manual
• Development website