Software

MCMAS Model Checking Multi-Agent Systems

MCMAS is an OBDD-based symbolic model checker tailored to the verification of Multi-Agent Systems (MAS). MAS descriptions are given by means of programs in ISPL (Interpreted Systems Programming Language), a modular language inspired by interpreted systems, a popular semantics in MAS.