MOSEL: A Sound and Efficient Tool for M2L(Str)
Abstract elided by the publisher.
Related papers
- Monadic second-order logic on finite sequences POPL 2017
- Spatiotemporal Robustness of Temporal Logic Tasks Using Multi-Objective Reasoning CAV 2026
- MoSeL: a general, extensible modal framework for interactive proofs in separation logic ICFP 2018
- MOSEL: A FLexible Toolset for Monadic Second-Order Logic TACAS 1997
- A Uniform Framework for Handling Position Constraints in String Solving PLDI 2025
- {CtChecker}: A Precise, Sound and Efficient Static Analysis for Constant-Time Programming ECOOP 2024
- Reusing Caches and Invariants for Efficient and Sound Incremental Static Analysis ECOOP 2025
- Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic Games CAV 2024