2000 character limit reached
A spatial model checker in GPU (extended version) (2010.07284v1)
Published 14 Oct 2020 in cs.LO and cs.CV
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 state-of-the-art accuracy. We present a new, GPU-based version of voxlogica and discuss its implementation, scalability, and applications.