Resources

Formal Methods

• Wikipedia entry
• Formal Methods Europe

Alloy

• Examples, including those seen in class: family, academia, dynamic systems
• Introductory book
• Official website
• Official docs
• Reference manual
• FAQ
• Alloy equivalences
• Alloy 4 Cheat sheet [pdf]

Dafny

• Examples seen in class
• The main documentation website, which includes
  • a quick reference
  • a getting started guide
  • a cheat sheet for the basic syntax
  • the reference manual
• How-to and FAQ guide
• Errors and warnings catalog
• Development website