Efficient Decision Procedures for Model Checking of Linear Time Logic Properties
Abstract elided by the publisher.
Related papers
- On Using Floating-Point Computations to Help an Exact Linear Arithmetic Decision Procedure CAV 2009
- Branching Bisimulation Learning CAV 2025
- Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking CAV 2000
- Revisiting MITL to Fix Decision Procedures VMCAI 2018
- EREQ: Regular Expressions with Quantifiers and Incremental Quantifier Elimination PLDI 2026
- Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes TACAS 2022
- The Temporal Logic of Branching Time POPL 1981
- Automatic Verification of Pointer Programs using Monadic Second-Order Logic PLDI 1997