Distributed runtime verification of JADE and Jason Multiagent systems with prolog
Daniela Briola, Mascardi, Davide Ancona · 2014
Verifying properties of interactions taking place inside open, complex, distributed, dynamic systems is of paramount importance for most applications and is manda-tory for safety-critical ones. Verification can take place at design time (o✏ine or static verification) or at runtime (online or dynamic). For runtime verification