Sumários

Model Checking IV

4 Dezembro 2024, 16:30 • Antónia Lopes

Model Checking IV

  • Variants of Model Checking
  • How Spin searches the space state
  • Optimizing the performance of verifications

Exercises about Model Checking with Spin

27 Novembro 2024, 18:30 • Antónia Lopes

Model Checking III

27 Novembro 2024, 16:30 • Antónia Lopes

Model Checking III

  • Linear Temporal Logic
    • Safety and Liveness properties
    • Fairness
  • Verification of LTL properties with Spin
    • Never claims
  •  Modelling communicating processes
    • Rendez-vous channels
    • Buffered channels

Exercises about Model Checking with Spin

20 Novembro 2024, 18:30 • Antónia Lopes

Model Checking II

20 Novembro 2024, 16:30 • Antónia Lopes

Model Checking II

  • Concurrency
  • Synchronisation
  • Linear Temporal Logic
    • Syntax and semantics