Ph.D dissertation and data
Description:
Replay experiments
To replay all experiment with Spot
Download and install the fork of Spot we use for experiments here.
autoreconf -vfi
make
make install
Download and install a patched version of Divine2.4:
git clone http://fmt.cs.utwente.nl/tools/scm/divine2.git
cd divine2
mkdir \build && cd \build
cmake .. -DGUI=OFF -DRX\PATH= -DCMAKE\INSTALL\PREFIX=… -DMURPHI=OFF -DHOARD=OFF
make
make install
Download the following archive containing the benchmark setups.
Follow instructions in the README
To replay all experiment with LTSMIN
Download and install the LTSmin tool (and Divine2.4)
autoreconf -vfi
make
make install
Download the following archive containing the benchmark setups.
Follow instructions in the README
To replay all experiment with LTSMIN
Download and install the Divine2.4 (as described above)
Download the following archive containing the benchmark setups.
Follow instructions in the README
Download csv file containing all results about time
You can download the following csv containing the benchmark results. In this file some fields are -1: it symbolizes that the tool didn't succed in one hour.