Formal verification (2025-2026)
mondays 12:15-13:45 (lecture) / 14:15-15:45 (tutorial), room P112@Pasteura 7
Lecture 11 [
slides
]
summary
Verification of finite-state Markov chains
Verification of probabilistic pushdown automata
references