At a Glance
| Applications | Hybrid Systems |
| Developers | Verimag |
| Licenses | GPLv3 |
| Maintenance | Actively Maintained |
Description
The SpaceEx tool platform is designed to facilitate the implementation of algorithms related to reachability and safety verification in continuous and hybrid systems.