Liveness Properties Lecture #7 of Model Checking Joost-Pieter Katoen

Source URL: www-i2.informatik.rwth-aachen.de

• Structure
• Logic
• Mathematics
• Metaphilosophy
• Temporal logic
• Model theory
• Metalogic
• Model checking