TABLE OF LECTURES
- Introduction to Software Engineering
- Basics of finite state machines and Petri nets
- Predicate Calculus and Intro to Verification
- Axiomatic program verification
- More axiomatic program verification
- Algebraic Specs: Abstract Data Types
- Verification of Abstract Data Types