Bounded Model Construction for Monadic Second-Order Logics
No abstract available.
Related papers
- Monadic second-order logic on finite sequences POPL 2017
- Hardware Verification using Monadic Second-Order Logic CAV 1995
- MOSEL: A FLexible Toolset for Monadic Second-Order Logic TACAS 1997
- A Partial Order View of Message-Passing Communication Models POPL 2023
- Mona: Monadic Second-Order Logic in Practice TACAS 1995
- Automatic Verification of Pointer Programs using Monadic Second-Order Logic PLDI 1997
- A Robust Theory of Series Parallel Graphs POPL 2023
- On Model-Checking Higher-Order Effectful Programs POPL 2024