连续系统和混合系统的验证是一个具有挑战性的问题，目前正在研究各种方法来克服用连续状态集表示和计算的复杂性。由于这种系统的验证问题通常无法确定，因此实验结果对于评估和开发新想法至关重要。

SpaceEx工具平台旨在促进实现与可达性和安全验证相关的算法。