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...
| Prif Awduron: | , , , |
|---|---|
| Fformat: | Conference item |
| Cyhoeddwyd: |
Springer Verlag
2018
|