https://vvt.aliteia.com/notebooks/09-model-checking.html 2026-07-03T12:20:40.427Z https://vvt.aliteia.com/notebooks/07-kleene-state-elimination.html 2026-07-03T12:20:40.427Z https://vvt.aliteia.com/notebooks/05-product-automaton.html 2026-07-03T12:20:40.427Z https://vvt.aliteia.com/notebooks/03-subset-construction.html 2026-07-03T12:20:40.427Z https://vvt.aliteia.com/notebooks/01-intro.html 2026-07-03T12:20:40.425Z https://vvt.aliteia.com/index.html 2026-07-03T12:20:40.413Z https://vvt.aliteia.com/notebooks/02-nfa-reachable-states.html 2026-07-03T12:20:40.427Z https://vvt.aliteia.com/notebooks/04-epsilon-closure-removal.html 2026-07-03T12:20:40.427Z https://vvt.aliteia.com/notebooks/06-reachability-fixpoint.html 2026-07-03T12:20:40.427Z https://vvt.aliteia.com/notebooks/08-ltl.html 2026-07-03T12:20:40.427Z