Toggle navigation
CS:5810
Home
Syllabus
Lectures
Exams
Materials
Readings
Tools
Resources
Credits
Resources
Formal Methods
Wikipedia entry
Formal Methods Europe
Alloy/Electrum
Examples, including those seen in class:
family
,
academia
,
dynamic systems
Alloy's Official
website
Unofficial Alloy
docs
Initial Electrum
docs
Electrum
tutorial
Alloy
FAQ
Alloy discussion
site
Alloy/Electrum
reference document
Alloy Cheatsheet [
pdf
]
Lustre
Kind 2
Online
The main Kind 2
website
Kind 2
User Documentation
Textmate/Sublime
editing mode
for Kind 2's extension of Lustre
Dafny
The main Dafny
website
, with quick reference
Examples
seen in class
Online
version
of the system
An on-line
tutorial
Online
cheat sheet
Reference manual
Development
website
Copyright:
Cesare Tinelli
, The University of Iowa, 2020