Java library for implementing Runtime Verification (RV) of multi-agent systems (MAS) using trace expressions. More specifically, trace expressions are used to define Agent Interaction Protocols that can be checked at runtime, both in a centralized and a decentralized way.
AngeloFerrando/TExpRVJade
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|