Resources
Formal Methods
Alloy
- Alloy examples, including those seen in class
- The Alloy main website
- Alloy community site
- Alloy 4 language 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
- Try Dafny in your browser
- An on-line tutorial
- Dafny quick reference
- Dafny extension for Visual Studio 2010 and Visual Studio 2012