SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications
No abstract available.
Related papers
- Model Checking Matrix Product States Against Linear Chain Logic CAV 2026
- VoxLogicA: A Spatial Model Checker for Declarative Image Analysis TACAS 2019
- MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications CAV 2014
- Dynamic Partial Order Reduction for Checking Correctness against Transaction Isolation Levels PLDI 2023
- VeriLHyS: a Framework for LTL Specification and Verification of Hybrid Systems TACAS 2026
- Verifying spatial properties of array computations OOPSLA 2017
- AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL CAV 2020
- CAAT: consistency as a theory OOPSLA 2022