Towards a Spatial Model Checker on GPU - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2021

Towards a Spatial Model Checker on GPU

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Licence

Identifiants

Citer

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⟩
30 Consultations
25 Téléchargements

Altmetric

Partager

More