VoxLogicA: A Spatial Model Checker for Declarative Image Analysis

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-030-17462-0_16
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

A Symbolic Model Checker for ACTL

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Z2SAL - Building a Model Checker for Z

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

A Declarative Framework for Intrusion Analysis

Cyber Situational Awareness
2009English

McMas: A Model Checker for Multi-Agent Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

A Markov Chain Model Checker

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Towards a Certified Petri Net Model-Checker

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

A Model-Based Privacy Compliance Checker

International Journal of e-Business Research
Computer Science ApplicationsManagement Information Systems
2009English

Semantic Analysis of (Reflectional) Visual Symmetry: A Human-Centred Computational Model for Declarative Explainability

EasyChair Preprints
2018English

The JKind Model Checker

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy