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
Dafny
- The main Dafny website
- Try Dafny in your browser
- An on-line tutorial
- Dafny quick reference