Model checking has traditionally focused on the analysis of the behaviour of concurrent systems. In this invited abstract, instead, we focus on spatial model checking. We briefly motivate its development and its application in the domain of medical imaging, providing a gentle guide to our recent work on that topic and future research lines.
Model checking in space with applications to medical image analysis: Invited abstract
Ciancia VincenzoMembro del Collaboration Group
;Latella DiegoWriting – Original Draft Preparation
;Massink Mieke
2026
Abstract
Model checking has traditionally focused on the analysis of the behaviour of concurrent systems. In this invited abstract, instead, we focus on spatial model checking. We briefly motivate its development and its application in the domain of medical imaging, providing a gentle guide to our recent work on that topic and future research lines.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
ETAPS2026_InvitedAbstract_postscript.pdf
accesso aperto
Descrizione: Model Checking in Space with Applications to Medical Image Analysis
Tipologia:
Documento in Post-print
Licenza:
Creative commons
Dimensione
9.94 MB
Formato
Adobe PDF
|
9.94 MB | Adobe PDF | Visualizza/Apri |
|
Massink et al_FASE2026_Invited_VoR.pdf
accesso aperto
Descrizione: Model Checking in Space with Applications to Medical Image Analysis
Tipologia:
Versione Editoriale (PDF)
Licenza:
Creative commons
Dimensione
9.86 MB
Formato
Adobe PDF
|
9.86 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
