Tarjan's Algorithm Makes On-the-Fly LTL Verification More Efficient
Abstract elided by the publisher.
Related papers
- Truly On-the-Fly LTL Model Checking TACAS 2005
- Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking TACAS 2024
- State/Event-Based LTL Model Checking under Parametric Generalized Fairness CAV 2011
- Multi-core on-the-fly SCC decomposition PPoPP 2016
- SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning TACAS 2025
- Identifying Loops in Almost Linear Time TOPLAS 1999
- Mechanized Dominator Tree Certification CPP 2026
- Making prophecies with decision predicates POPL 2011