Axiomatic Methods
- Axioms prove the partial correctness of statements -
Si with respect to some assertions - Pi and Qi
- Assertions
- Invariants
- Preconditions, Postconditions
- Proof rules for monitors
- Monitor invariant
- Assertions for each condition variable in monitor