Simulation -- Session 11. Concurrency -- Symbolic Model Checking of Concurrent Programs