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.
