Document - A hands-on introduction to spatial model checking using VoxLogicA

2021

Conference article Closed Access

A hands-on introduction to spatial model checking using VoxLogicA

Ciancia V., Belmonte G., Latella D., Massink M.

Spatial logic Model checking Tutorial

This paper provides a tutorial-style introduction, and a guide, to the recent advancements in spatial model checking that have made some relevant results possible. Among these, we mention fully automated segmentation of regions of interest in medical images by short, unambiguous spatial-logical specifications. This tutorial is aimed both at domain experts in medical imaging who would like to learn simple (scripting-alike) techniques for image analysis, making use of a modern, declarative language, and at experts in Formal Methods in Computer Science and Model Checking who would like to grasp how the theory of Spatial Logic and Model Checking has been turned into logic-based, dataset-oriented imaging techniques.

Source: SPIN 2021 - 27th International Symposium on Model Checking Software, pp. 22–41, Online conference, 12/07/2021

Metrics

Back to previous page

Cite as

BibTeX entry

@inproceedings{oai:it.cnr:prodotti:455962,
	title = {A hands-on introduction to spatial model checking using VoxLogicA},
	author = {Ciancia V. and Belmonte G. and Latella D. and Massink M.},
	doi = {10.1007/978-3-030-84629-9_2},
	booktitle = {SPIN 2021 - 27th International Symposium on Model Checking Software, pp. 22–41, Online conference, 12/07/2021},
	year = {2021}
}