SpaceEx Development Team
The following people are part of the SpaceEx project:
| Goran Frehse | Verimag | Project Leader |
| Olivier Lebeltel | Verimag | Model Editor |
| Stefano Minopoli | Verimag | Analysis Core & Algorithms, Model Translation |
| Oded Maler | Verimag | Scientific Advisor |
Former Contributors
| Alexandre Donzé | Verimag | Analysis Core & Algorithms |
| Antoine Girard | L2S-CNRS | Analysis Algorithms |
| Colas Le Guernic | DGA-MI | Analysis Algorithms |
| Rodolfo Ripado | Verimag | Web Interface |
| Scott Cotton | Verimag | Analysis Core & Modeling Language |
| Rajat Kateja | Verimag | Piecewise Linear Functions |
| Rajarshi Ray | Verimag | Analysis Core & Algorithms |
| Manish Goyal | Verimag | Parsers |
