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