/RV4JaCa

Primary LanguageJava

RV4JaCa

A runtime verification approach for multi-agent systems using JaCaMo

Dependencies

  • Java 11
  • Gradle 6.8.3
  • JaCaMo 0.9

To build

gradle build

To run

gradle run