SpaceEx

The verification of continuous and hybrid systems is a challenging problem, and various approaches are currently being investigated to overcome the complexities of representing and computing with continuous sets of states. Since verification problems are generally undecidable for such systems, experimental results are vital for evaluating and developing new ideas.

The SpaceEx tool platform is designed to facilitate the implementation of algorithms related to reachability and safety verification.

Examples, tutorials and documentation can be found at this tool's homepage, http://spaceex.imag.fr/

• The SpaceEx tool has been developed by Verimag
• Licensing information can be found at http://spaceex.imag.fr/licensing-45
• A conference presentation on SpaceEx can be found here.