Axiomatic Methods
Owicki-Gries (based on Hoare's method)
- Proves small pieces that say something about whole program
- Parallel language (based on Algol 60)
- Condition Critical Regions (Critical Sectors)
- Resources
- Concurrent execution
- Axioms
- Parallel execution
- Critical Section