Compositional Verification of Stigmergic Collective Systems
Abstract elided by the publisher.
Related papers
- Composite Object Support in an Object-Oriented Database System OOPSLA 1987
- Logic and Compositional Verification of Hybrid Systems - (Invited Tutorial) CAV 2011
- Compositional Analysis for Verification of Parameterized Systems TACAS 2003
- RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems TACAS 2016
- Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules TOPLAS 1998
- CoVeriTeam: On-Demand Composition of Cooperative Verification Systems TACAS 2022
- EVA: a Tool for the Compositional Verification of AUTOSAR Models TACAS 2023
- DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems CAV 2017