Similar Items: Efficient CSL Model Checking Using Stratification
- Using models to model-check recursive schemes
- Correct and Efficient Antichain Algorithms for Refinement Checking
- Model Checking Probabilistic Pushdown Automata
- FO Model Checking of Interval Graphs
- Geometric Model Checking of Continuous Space
- Using Splitter Ordering Heuristics to Improve Bisimulation in Probabilistic Model Checking