News from the SpaceEx Project

Simulink to SpaceEx translator SL2SX moved

Submitted on Friday, 3 August 2018

The SL2SX translator is now available at:

Simulink to SpaceEx translator SL2SX available

Submitted on Wednesday, 9 March 2016

A semi-automatic translation tool from Simlink to SpaceEx, called SL2SX, is now available as a beta-version from http://www-verimag.imag.fr

Bugfix Update: SpaceEx v0.9.8d

Submitted on Thursday, 9 July 2015

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

Submitted on Friday, 6 February 2015

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

Submitted on Friday, 11 July 2014

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

Submitted on Tuesday, 6 May 2014

A new prototype of the PHAVer scenario is now available.

Bugfix and Stability Update: SpaceEx v0.9.8b

Submitted on Thursday, 7 November 2013

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

Submitted on Tuesday, 15 October 2013

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

Example Pack 2 Posted

Submitted on Wednesday, 28 November 2012

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

New Analysis Algorithm: STC Scenario Released

Submitted on Monday, 26 November 2012

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.