SpaceEx State Space Explorer

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.


The simulator algorithm has been changed so that transitions are taken as soon as possible (previously both earliest and last jumps were taken).


Changes in version 0.9.8d:

- fixed a major bug that could lead to wrong reachability results and crashes

- fixed a bug in the INTV output that led to the invariant being ignored

- added additional emptiness checks in the LGG and STC algorithms; these may reduce the iteration count

- improved error messages and warnings


Version 0.9.8d is now available for download. Feedback and error messages are highly welcome.