Lecture Notes
State Machine Invariants
Description:
Lecture presentation on safety and liveness properties, state properties and invariants, inductive reasoning, computing the product machine of a parallel combination, state explosion, fault tolerance, and interlocks and the idea of a trusted base.
Resource Type:
Lecture Notes
pdf
490 kB
State Machine Invariants
Course Info
Instructors
Departments
As Taught In
Fall
2008
Level
Course Info
Instructors
Departments
As Taught In
Fall
2008
Level
Learning Resource Types
notes
Lecture Notes
assignment
Problem Sets
assignment_turned_in
Programming Assignments with Examples
group_work
Projects
