22c:181 Formal Methods in Software Engineering
Fall 2013

Resources

Formal Methods

• Wikipedia entry on formal methods
• Formal Methods wiki site

Alloy

• Alloy examples, including those seen in class
  • Family
  • Academia
• The Alloy main website
• Alloy community site
• Alloy 4 language reference manual [pdf]

Lustre

• Examples seen in class
• Emacs editing mode for Lustre

Dafny

• The main Dafny website
• Try Dafny in your browser
  
• An on-line tutorial
• Dafny quick reference