Formal Methods
LECTURE NOTES
- Syllabus
- Lecture note 1, introduction
- Lecture note 2, propositional logics & BDD
- Lecture note 3, state machines
- Lecture note 4, temporal logics & model-checking
- Lecture note 5, embedded systems
- Lecture note 6, predicate logics
- Lecture note 7, process algebrae
- Lecture note 8, theorem proving and program correctness
- Lecture note 9, Petri nets
No comments:
Post a Comment