Ten years of spatial model checking
Ciancia V., Latella D., Massink M.
Spatial logics, Spatial model checking, Spatial bisimilarity, Logical equivalence, Polyhedral models, Medical imaging, Model minimisation
Model checking has traditionally focused on the analysis of the behaviour of concurrent systems. When addressing more complex systems, such as large-scale collective adaptive systems, it quickly becomes clear that a focus on spatial aspects of such systems is as much relevant as the behavioural aspects. We provide a guided tour through the various research directions that this new focus on space has generated and is about to generate in the future.
Publisher: Springer Nature Switzerland
Metrics
Back to previous page
@inbook{oai:iris.cnr.it:20.500.14243/542183,
title = {Ten years of spatial model checking},
author = {Ciancia V. and Latella D. and Massink M.},
publisher = {Springer Nature Switzerland},
doi = {10.1007/978-3-031-85134-6},
year = {2025}
}
0000-0003-1314-0574
Ecosystems of Innovation, Project “Tuscany Health Ecosystem” (THE)
Ecosystems of Innovation, Project “Tuscany Health Ecosystem” (THE)
Model Checking for Polyhedral Logic
Model Checking for Polyhedral Logic
Stendhal
Stendhal
T-LADIES
T-LADIES