Commit 7c0fc7af authored by Jaime Arias's avatar Jaime Arias
Browse files

fix repo url

parent ef679b65
# SOG-Based Hybrid LTL Model Checking
# Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation
This repository hosts the results for the paper.
......@@ -6,18 +6,17 @@ The experimental results were obtained on [Magi
cluster](http://magi.univ-paris13.fr/wiki/) of [University Sorbonne Paris
Nord](https://univ-paris13.fr/). 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 5 models from the [Model Checking
network, and 64GB of RAM. A total of 4 models from the [Model Checking
Contest](https://mcc.lip6.fr/models.php) were used in our experiments:
*[Philosophers](models/philo/description.pdf)* (`philo`),
*[RobotManipulation](models/robot/description.pdf)* (`robot`),
*[SwimmingPool](models/spool/description.pdf)*
(`spool`), *[CircularTrains]((models/train/description.pdf))* (`train`), and
*[TokenRing](models/tring/description.pdf)* (`ring`).
(`spool`), and *[CircularTrains]((models/train/description.pdf))* (`train`).
## Clone this repository:
```
git clone https://depot.lipn.univ-paris13.fr/PMC-SOG/experiments/atva2020.git && cd atva2020
git clone https://depot.lipn.univ-paris13.fr/PMC-SOG/experiments/hybrid.git && cd hybrid
```
## Folder Structure
......
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