• Software distribution and licensing: Open-source distribution
  • Software Maintenance and Evolution: Active maintenance, plans for future evolution
State Space Explorer

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.

View online : SpaceEx Website