Models from FM18 paper

This page provides additional material for the following paper:

• QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems, Andrea Vandin, Maurice ter Beek, Axel Legay, Alberto Lluch Lafuente, 22nd International Symposium on Formal Methods (FM'18), Springer LNCS

For reproducibility, we provide a QFLAN project containing all models and experiments described in the paper and in the demo.

To use it:

1. Download the archive
2. Decompress the archive
3. From the top menu bar click on File, and select Import.
4. Choose General, select Existing Projects into Workspace and click Next.
5. Click Browse… and locate the Examples folder. Tick Copy projects into workspace and hit Finish.