A Note on On-the-Fly Verification Algorithms
Abstract elided by the publisher.
Related papers
- Bounded-memory Algorithms for Verification On-the-fly CAV 1991
- Tarjan's Algorithm Makes On-the-Fly LTL Verification More Efficient TACAS 2004
- On-The-Fly Algorithm for Reachability in Parametric Timed Games TACAS 2024
- Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking TACAS 2024
- On-the-Fly Verification with Stubborn Sets CAV 1993
- "On the Fly" Verification of Behavioural Equivalences and Preorders CAV 1991
- Using On-The-Fly Verification Techniques for the Generation of test Suites CAV 1996
- Short note: Strict unwraps make worker/wrapper fusion totally correct JFP 2011