VITAMIN: VerIficaTion of A MultI ageNt system

Open Webpage

Angelo Ferrando, Vadim Malvone

Published: 01 Jan 2025, Last Modified: 25 Sept 2025AAMAS 2025EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: We present VITAMIN, a modular and user-friendly framework for formal verification of Multi-Agent Systems (MAS). VITAMIN provides extensible support for diverse logics and models, making it suitable for experts and non-experts. This demonstration highlights VITAMIN's capabilities emphasising its usability and compositional design.