Model Checking Spatial Logics for Closure Spaces

DOI10.2168/LMCS-12(4:2)2016zbMath1398.68335arXiv1609.06513OpenAlexW2521165853WikidataQ124438973 ScholiaQ124438973MaRDI QIDQ2974786

Vincenzo Ciancia, Michele Loreti, Diego Latella, Mieke Massink

Publication date: 11 April 2017

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1609.06513

zbMATH Keywords

closure spacesspatial logicscollective logicsspatial model checking

Mathematics Subject Classification ID

Logic in computer science (03B70) Topological spaces and generalizations (closure spaces, etc.) (54A05) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (8)

Geometric Model Checking of Continuous Space ⋮ A Spatial Logic for Simplicial Models ⋮ Back-and-forth in space: on logics and bisimilarity in closure spaces ⋮ Minimisation of spatial models using branching bisimilarity ⋮ Expressing discrete spatial relations under granularity ⋮ Unnamed Item ⋮ Spatial Logic and Spatial Model Checking for Closure Spaces ⋮ Analysing Spatial Properties on Neighbourhood Spaces

Uses Software

• CliffMath
• CliffSymNil
• CliffOC
• KLAIM
• EnvyMyCar
• ISLR
• Localizer

This page was built for publication: Model Checking Spatial Logics for Closure Spaces