eve-mas/eve-parity

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

Language: Python - Size: 8.91 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 17 - Forks: 3