2020
Report  Open Access

A spatial model checker in GPU (extended version)

Bussi L., Ciancia V., Gadducci F.

Model checking  GPU computation  Spatial logics 

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 state-of-the-art accuracy. We present a new, GPU-based version of voxlogica and discuss its implementation, scalability, and applications.

Source: ISTI Research report, IT- MaTTerS, 2020



Back to previous page
BibTeX entry
@techreport{oai:it.cnr:prodotti:454727,
	title = {A spatial model checker in GPU (extended version)},
	author = {Bussi L. and Ciancia V. and Gadducci F.},
	institution = {ISTI Research report, IT- MaTTerS, 2020},
	year = {2020}
}
CNR ExploRA

Bibliographic record

ISTI Repository

Preprint version Open Access

Also available from

arxiv.orgOpen Access