Model-checking III

2 Dezembro 2016, 16:30 • Antónia Lopes

  • Specification of properties
    • Linear Temporal Logic
    • Specification in SPIN