Compositional Model Checking for Multi-properties
Abstract elided by the publisher.
Related papers
- Ivy: A Multi-modal Verification Tool for Distributed Algorithms CAV 2020
- Multi-objective Optimization of Long-run Average and Total Rewards TACAS 2021
- Model checking for a multi-execution memory model OOPSLA 2022
- Multiparty motion coordination: from choreographies to robotics programs OOPSLA 2020
- Compositional Abstraction for Timed Systems with Broadcast Synchronization CAV 2025
- ULTIMATE: A Tool for the Verification and Synthesis of Stochastic World Models CAV 2026
- Lazy Self-composition for Security Verification CAV 2018
- EVA: a Tool for the Compositional Verification of AUTOSAR Models TACAS 2023