Published December 3, 2022
| Version 1.0
Software
Open
Minimisation of Spatial Models using Branching Bisimilarity - Validation code and data
- 1. Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo" - Consiglio Nazionale delle Ricerche
- 2. Eindhoven University of Technology, Eindhoven, The Netherlands
Description
This code runs the experimental validation for the paper:
Title: Minimisation of Spatial Models using Branching Bisimilarity
Authors: Vincenzo Ciancia, Jan Friso Groote, Diego Latella, Mieke Massink and Erik P. de Vink
FORMAL METHODS 2023
See https://fm2023.isp.uni-luebeck.de
This repository is obtained by using "git archive" of the main branch with tag "zenodo-FM2023" of the repository:
https://github.com/VoxLogicA-Project/FM2023-Validation
Please visit the repository for updates.
Files
Ciancia-Groote-Latella-Massink-de_Vink-FM2023.zip
Files
(167.1 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:21758d1ebe4b4b9fac5add9a84a6c5d9
|
167.1 MB | Preview Download |