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.
For details, please see here or go to http://swt.informatik.uni-freiburg.de/tool/spaceex.