incaseoftrouble / eve-parity Goto Github PK
View Code? Open in Web Editor NEWThis project forked from 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.
License: GNU General Public License v3.0