The State Space Explorer (SpaceEx) tool platform is designed to facilitate the implementation of algorithms related to reachability and safety verification.
Uppaal (Uppsala, Aalborg), free for academic use only
An integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.).
A toolkit dedicated to the edition of UML and SysML diagrams, and to the simulation and formal verification (safety, security, performance) of those diagrams.
To identify new challenging benchmarks and to promote new solvers for the propositional satisfiability problem (SAT) as well as to compare them with state-of-the-art solvers.