« October 2017 »
October
MoTuWeThFrSaSu
1
2345678
9101112131415
16171819202122
23242526272829
3031
Uni-Logo
You are here: Home Tools Hybrid systems Direction Refinement Framework
Document Actions

Direction Refinement Algorithms for SpaceEx

On this page, you find the repeatability package for the paper, "Eliminating Spurious Transitions in Reachability with Support Functions", HSCC, 2015.

The package can be downloaded here.

The package contains our modified SpaceEx binaries and some of benchmarks. In order to run our modified SpaceEx binary, you need a 64-bit Linux operating system.

Personal tools