eve-parity icon indicating copy to clipboard operation
eve-parity copied to clipboard

Published 20 hours ago • verified publisher icon eve-mas
→

Metadata

Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of concurrent and multi-agent systems.

← Metadata

17
Stars
3
Forks
Watchers

Owner

verified publisher icon eve-mas

Metadata

Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of concurrent and multi-agent systems.

Back