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
Learning Resource Types
notes
Lecture Notes
assignment
Problem Sets
assignment_turned_in
Programming Assignments with Examples
group_work
Projects
