Skip to main content
Link
Search
Menu
Expand
Document
(external link)
Formal Methods
Grading
Lectures
Set up Alloy Analyzer
Set up Dafny
Notes
Alloy Introduction
Constraint solving for Alloy
Dafny Introduction
Dafny and object orientation
Dafny invariants and arrays
Linear Temporal Logic
State Machines
Grading
Value
When
Exam 1
20
10/10
Exam 2
20
30/11
Project 1
25
16/10
Project 2
25
05/12
Homeworks
10
Throughout the semester