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
Examples
seen in class
Online
installation
of an
old version
of the system (not recommended for homework)
The main documentation
website
, which includes
a
quick reference
a getting started
guide
and several tutorials
a
cheat sheet
the full
reference manual
Development
website
Copyright:
Cesare Tinelli
, The University of Iowa, 2021