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