TY - GEN
T1 - On the Usability and Extensibility of VITAMIN
AU - Ferrando, Angelo
AU - Malvone, Vadim
N1 - Publisher Copyright:
© The Author(s), under exclusive license to Springer Nature Switzerland AG 2026.
PY - 2026/1/1
Y1 - 2026/1/1
N2 - The verification of Multi-Agent Systems (MAS) presents a significant challenge, with various approaches and methodologies available to address it. However, tools supporting these methodologies are not always readily accessible. Existing tools often lack compositionality, are hard-coded, and have a steep learning curve. In this paper, we present VITAMIN, a modular and versatile tool designed for the formal verification of MAS. Unlike existing tools, VITAMIN offers high usability and can be easily extended to support various models and logics for MAS.
AB - The verification of Multi-Agent Systems (MAS) presents a significant challenge, with various approaches and methodologies available to address it. However, tools supporting these methodologies are not always readily accessible. Existing tools often lack compositionality, are hard-coded, and have a steep learning curve. In this paper, we present VITAMIN, a modular and versatile tool designed for the formal verification of MAS. Unlike existing tools, VITAMIN offers high usability and can be easily extended to support various models and logics for MAS.
KW - Formal Verification
KW - Model Checking
KW - Multi-Agent Systems
UR - https://www.scopus.com/pages/publications/105023274339
U2 - 10.1007/978-3-032-07638-0_30
DO - 10.1007/978-3-032-07638-0_30
M3 - Conference contribution
AN - SCOPUS:105023274339
SN - 9783032076373
T3 - Lecture Notes in Computer Science
SP - 354
EP - 359
BT - Advances in Practical Applications of Agents, Multi-Agent Systems, and Computational Social Science
A2 - Mathieu, Philippe
A2 - De la Prieta, Fernando
PB - Springer Science and Business Media Deutschland GmbH
T2 - 23rd International Conference on Practical applications of Agents and Multi-Agent Systems, PAAMS 2025
Y2 - 25 June 2025 through 27 June 2025
ER -