Towards model checking interpreted systems
Alessio R. Lomuscio, Franco Raimondi, Marek J. Sergot · 2003
We show how it is possible to pair the NuSMV model checker with Akka, a software platform used to check validity of propositional modal formulas, to verify static properties of multi-agent systems formalised on interpreted systems semantics.