Document - Towards a spatial model checker on GPU

2021

Conference article Open Access

Towards a spatial model checker on GPU

Bussi L., Ciancia V., Gadducci F.

Spatial Logics Model checking GPU computation

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.

Source: FORTE 2021 - 41st International Conference on Formal Techniques for Distributed Objects, Components, and Systems, pp. 188–196, Online conference, 15-17/06/2021

Metrics

Back to previous page

Cite as

BibTeX entry

@inproceedings{oai:it.cnr:prodotti:454725,
	title = {Towards a spatial model checker on GPU},
	author = {Bussi L. and Ciancia V. and Gadducci F.},
	doi = {10.1007/978-3-030-78089-0_12},
	booktitle = {FORTE 2021 - 41st International Conference on Formal Techniques for Distributed Objects, Components, and Systems, pp. 188–196, Online conference, 15-17/06/2021},
	year = {2021}
}