Commit 0678d4a0 authored by Jaime Arias's avatar Jaime Arias
Browse files

update README

parent b969cbd9
......@@ -6,12 +6,13 @@ The experimental results were obtained on [Magi
cluster]( of [University Sorbonne Paris
Nord]( We used the partition `COMPUTE` which has 40
processors (two Intel Xeon E5-2650 v3 at 2.30GHz) connected by an InfiniBand
network, and 64GB of RAM. A total of 4 models from the [Model Checking
network, and 64GB of RAM. A total of 5 models from the [Model Checking
Contest]( were used in our experiments:
*[Philosophers](models/philo/description.pdf)* (`philo`),
*[RobotManipulation](models/robot/description.pdf)* (`robot`),
(`spool`), and *[CircularTrains]((models/train/description.pdf))* (`train`).
(`spool`), *[CircularTrains]((models/train/description.pdf))* (`train`), and
*[TokenRing](models/tring/description.pdf)* (`tring`).
## Clone this repository:
......@@ -37,6 +38,7 @@ git clone && c
├── scripts
│   ├── # script that generates a csv file with the results from the logs
│   ├── # script that generates N random LTL\X formulas
│ ├── # script that generates the files to run the experiments on the GRID5000 cluster
│   └── plot-results.ipynb # Python notebook that allows to generate the figures and interact with the results
│   └── # script that generates the figures (if you do not want to open the notebook)
│   └── # script that generates the sbatch files to generate formulas on Magi cluster
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment