MOSEL: A FLexible Toolset for Monadic Second-Order Logic
Abstract elided by the publisher.
Related papers
- Bounded Model Construction for Monadic Second-Order Logics CAV 2000
- Hardware Verification using Monadic Second-Order Logic CAV 1995
- Mona: Monadic Second-Order Logic in Practice TACAS 1995
- MoSeL: a general, extensible modal framework for interactive proofs in separation logic ICFP 2018
- Automatic Verification of Pointer Programs using Monadic Second-Order Logic PLDI 1997
- Monadic second-order logic on finite sequences POPL 2017
- The Real-Time Graphical Interval Logic Toolset CAV 1996
- A Graphical Interval Logic Toolset for Verifying Concurrent Systems CAV 1993