Towards a Spatial Model Checker on GPU - Formal Techniques for Distributed Objects, Components, and Systems
Conference Papers Year : 2021

Towards a Spatial Model Checker on GPU

Abstract

The tool VoxLogicA merges the state-of-the-art library of computational imaging algorithms ITK with the combination of declarative specification and optimised execution provided by spatial logic model checking. The analysis of an existing benchmark for segmentation of brain tumours via a simple logical specification reached very high accuracy. We introduce a new, GPU-based version of VoxLogicA and present preliminary results on its implementation, scalability, and applications.
Fichier principal
Vignette du fichier
509782_1_En_12_Chapter.pdf (423.21 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03740266 , version 1 (29-07-2022)

Licence

Identifiers

Cite

Laura Bussi, Vincenzo Ciancia, Fabio Gadducci. Towards a Spatial Model Checker on GPU. 41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.188-196, ⟨10.1007/978-3-030-78089-0_12⟩. ⟨hal-03740266⟩
31 View
31 Download

Altmetric

Share

More