Rapporto tecnico, 2017, ENG

Spatial model checking for medical imaging - Preliminary version

Banci Bonamici F.; Belmonte G.; Ciancia V.; Latella D.; Massink M.

Azienda Ospedaliera Universitaria Senese, Siena, Italy; Azienda Ospedaliera Universitaria Senese, Siena, Italy; CNR-ISTI, Pisa, Italy; CNR-ISTI, Pisa, Italy; CNR-ISTI, Pisa, Italy

The application of the topochecker spatial-model-cheker to medical imaging is described.

Keywords

Model logics, Spatial logics, Spatial model-checking, Medical imaging

CNR authors

Massink Mieke, Latella Diego, Ciancia Vincenzo

CNR institutes

ISTI – Istituto di scienza e tecnologie dell'informazione "Alessandro Faedo"