MCG: Materiale per seminari studenti

Ottimizzazioni e varianti

• Symbolic Model Checking without BDDs

• State space reduction using partial order techniques

• Antichains for the Automata-based Approach to Model-checking

• Automated Abstraction Refinement for Model Checking

Sistemi Probabilistici/Stocastici

• Stochastic Model Checking

  (Seminario G. Zycinsky)

• Model Checking for Biological Systems

  (Seminario G. Chiusano)

Infinite-state Model Checking

• Verifying Lossy Channel Systems

  (Seminario F. Cavalieri)

• Verifying Pushdown Systems

Games

• Deciding the Winner in Parity Games

• Imperfect Information

• Games for Counting Abstractions

• Solving Parity Games by a Reduction to SAT

  (Seminario L. Zini)

• Memoryless determinacy of parity and mean payoff games: a simple proof

  (Seminario G. Fusco)

• Concurrent Reachability Games

  (Seminario S. Masecchia)