Spatial Logic and Spatial Model Checking for Closure Spaces
From MaRDI portal
Publication:2822664
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
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