TABLE OF LECTURES

1. Introduction to Software Engineering

2. Basics of finite state machines and Petri nets

3. Predicate Calculus and Intro to Verification

4. Axiomatic program verification

5. More axiomatic program verification

6. Algebraic Specs: Abstract Data Types

7. Verification of Abstract Data Types