Compositional Verification of Stigmergic Collective Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2023

Compositional Verification of Stigmergic Collective Systems

Abstract

Collective adaptive systems may be broadly defined as ensembles of autonomous agents, whose interaction may lead to the emergence of global features and patterns. Formal verification may provide strong guarantees about the emergence of these features, but may suffer from scalability issues caused by state space explosion. Compositional verification techniques, whereby the state space of a system is generated by combining (an abstraction of) those of its components, have shown to be a promising countermeasure to the state space explosion problem. Therefore, in this work we apply these techniques to the problem of verifying collective adaptive systems with stigmergic interaction. Specifically, we automatically encode these systems into networks of LNT processes, apply a static value analysis to prune the state space of individual agents, and then reuse compositional verification procedures provided by the CADP toolbox. We demonstrate the effectiveness of our approach by verifying a collection of representative systems. ⋆ Work partially funded by ERC consolidator grant no. 772459 D-SynMA (Distributed Synthesis: from Single to Multiple Agents).
Fichier principal
Vignette du fichier
DiStefano-Lang-23.pdf (562.47 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03869922 , version 1 (24-11-2022)

Identifiers

Cite

Luca Di Stefano, Frederic Lang. Compositional Verification of Stigmergic Collective Systems. VMCAI 2023 - 24th International Conference on Verification, Model Checking and Abstract Interpretation, Jan 2023, Boston, United States. pp.1-22, ⟨10.1007/978-3-031-24950-1_8⟩. ⟨hal-03869922⟩
110 View
48 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More