Model Checking with Formula-Dependent Abstract Models
Abstract elided by the publisher.
Related papers
- Formula-Dependent Equivalence for Compositional CTL Model Checking CAV 1994
- Refinement of LTL Formulas for Abstract Model Checking SAS 2002
- A Probabilistic Logic for Verifying Continuous-time Markov Chains TACAS 2022
- Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications TOPLAS 1998
- Bounded model checking of signal temporal logic properties using syntactic separation POPL 2019
- On-the-Fly Model Checking of RCTL Formulas CAV 1998
- SMT-Based Symbolic Model-Checking for Operator Precedence Languages CAV 2024
- Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes TACAS 2022