Ph.D dissertation and data

Description:

This page summarizes main informations about my phd.

You can find the current version of my dissertation here (last update December, 3rd 2014)

You can find the slides of my defense here.

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.

Author: Etienne Renault

Created: 2019-09-19 Jeu 09:45

Validate