VITAMIN: VerIficaTion of A MultI ageNt system

Angelo Ferrando (University of Modena and Reggio Emilia), Vadim Malvone (LTCI, Télécom Paris, Institut Polytechnique de Paris)

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.