Scholarlink

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.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

On the Usability and Extensibility of VITAMIN

  • 会议论文

  • 发表日期：

    2026年

查看全文
  • Angelo Ferrando,
  • Vadim Malvone

摘要

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.