Resources
Formal Methods
Alloy
- FAQ
- Examples, including those seen in class: family, academia, dynamic systems
- Main website
- Community site
- Reference manual [pdf]
Lustre
- Examples seen in class (and a few more)
- The main Kind 2 website
- Emacs editing mode for Lustre
Dafny
- The main Dafny website
- Online version of the system
- An on-line tutorial
- Online documentation
- Development website
- Dafny extension for Visual Studio 2010 and Visual Studio 2012