Refinement of LTL Formulas for Abstract Model Checking
Abstract elided by the publisher.
Related papers
- Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking TACAS 2024
- Truly On-the-Fly LTL Model Checking TACAS 2005
- State/Event-Based LTL Model Checking under Parametric Generalized Fairness CAV 2011
- Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis CAV 2013
- Action-Based Model Checking: Logic, Automata, and Reduction CAV 2020
- Promptness and Bounded Fairness in Concurrent and Parameterized Systems VMCAI 2020
- Abstraction Refinement Algorithms for Timed Automata CAV 2019
- Rabinizer 4: From LTL to Your Favourite Deterministic Automaton CAV 2018