论文标题
GPU中的空间模型检查器（扩展版）
A spatial model checker in GPU (extended version)
论文作者
论文摘要
该工具Voxlogica将计算成像算法的最新库与声明性规范和空间逻辑模型检查提供的优化执行的组合结合在一起。通过简单的逻辑规范对现有基准进行分割的现有基准的分析达到了最先进的精度。我们提出了一个新的基于GPU的Voxlogica版本，并讨论其实现，可扩展性和应用程序。
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.
