EVE-MAS
Results
1
repositories owned by
EVE-MAS
eve-parity
17
Stars
3
Forks
Watchers
Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of concurrent and multi-agent systems.
