Spatial Logic and Spatial Model Checking for Closure Spaces

DOI10.1007/978-3-319-34096-8_6zbMath1346.68122OpenAlexW2473841607WikidataQ124438978 ScholiaQ124438978MaRDI QIDQ2822664

Vincenzo Ciancia, Michele Loreti, Mieke Massink, Diego Latella

Publication date: 4 October 2016

Published in: Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-34096-8_6

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)

Related Items (4)

Geometric Model Checking of Continuous Space ⋮ A Spatial Logic for Simplicial Models ⋮ Unnamed Item ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Model checking mobile stochastic logic
• A generalized topological view of motion in discrete space.
• Model checking single agent behaviours by fluid approximation
• System design of stochastic models using robustness of temporal properties
• Model Checking Spatial Logics for Closure Spaces
• SpaTeL
• Specifying and Verifying Properties of Space
• Handbook of Spatial Logics
• The chemical basis of morphogenesis
• Anytime, anywhere
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

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