EVE: A tool for temporal equilibrium analysis
We present EVE (Equilibrium Verification Environment), a formal verification tool for the automated analysis of temporal equilibrium properties of concurrent and multi-agent systems. In EVE, systems are modelled using the Simple Reactive Module Language (SRML) as a collection of independent system c...
| Main Authors: | , , , |
|---|---|
| Format: | Conference item |
| Published: |
Springer Verlag
2018
|