A spatial model checker in GPU (extended version)

10/14/2020
by   Laura Bussi, et al.
0

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.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 6

11/14/2018

VoxLogicA: a Spatial Model Checker for Declarative Image Analysis (Extended Version)

Spatial and spatio-temporal model checking techniques have a wide range ...
11/14/2018

Spatial Logics and Model Checking for Medical Imaging (Extended Version)

Recent research on spatial and spatio-temporal model checking provides n...
07/08/2016

From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging

Recent research on formal verification for Collective Adaptive Systems (...
08/08/2021

Visual Analysis of Hyperproperties for Understanding Model Checking Results

Model checkers provide algorithms for proving that a mathematical model ...
12/27/2017

On the Scalability of the GPUexplore Explicit-State Model Checker

The use of graphics processors (GPUs) is a promising approach to speed u...
12/24/2020

Using Spatial Logic and Model Checking for Nevus Segmentation

Spatial and spatio-temporal model checking techniques have a wide range ...
05/13/2021

Geometric Model Checking of Continuous Space

Topological Spatial Model Checking is a recent paradigm that combines Mo...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.