Formal verification (2025-2026)
mondays 12:15-13:45 (lecture) / 14:15-15:45 (tutorial), room P112@Pasteura 7
Examples of LTL properties
Examples of non-LTL properties
Converting alternating Büchi automata to nondeterministic ones