SpaceEx State Space Explorer

News from the SpaceEx Project

Simulink to SpaceEx translator SL2SX available

A semi-automatic translation tool from Simlink to SpaceEx, called SL2SX, is now available as a beta-version from

Bugfix Update: SpaceEx v0.9.8d

A bugfix update for SpaceEx is now available for download. A major bug has been fixed that could lead to wrong reachability results, so an update is strongly recommended.

Major Bugfix Update: SpaceEx v0.9.8c

Important bugs have been fixed in version 0.9.8c. Users are highly encouraged to update to this version.


SpaceEx extensions available at the University of Freiburg

The team of Andreas Podelski at the University of Freiburg has made two extensions of SpaceEx available on their website.

Prototype of PHAVer with Urgency

A new prototype of the PHAVer scenario is now available.

Bugfix and Stability Update: SpaceEx v0.9.8b

This update improves the numerical stability of LGG and STC reachability algorithms and fixes a major bug from the previous release.

Major Update: SpaceEx v0.9.8

The latest update of SpaceEx introduces major improvements and new features.

Example Pack 2 Posted

A set of small examples for comparing the LGG and the STC scenarios is available here.

New Analysis Algorithm: STC Scenario Released

A new analysis algorithm is available on the SpaceEx platform: The STC scenario produces fewer convex sets for a given accuracy and computes more precise images of discrete transitions.

Release of SpaceEx v0.9.5 with Simulator Scenario

SpaceEx has been extended with a basic simulator scenario. It computes trajectories for a given number of points in the set of initial states.