Ch. 15, section 1
Class 34: Proving Unprovability
F332
Specification Patterns Early taxonomy for property specifications –safety properties: nothing bad will ever happen –liveness properties: something good.
CSA4050: Advanced Topics in NLP
Specification Patterns
Model Checking