Search

• < Previous
• 1
• Next >

---

Model Checking Spatial Logics for Closure Spaces

Vincenzo Ciancia ; Diego Latella ; Michele Loreti ; Mieke Massink.

Spatial aspects of computation are becoming increasingly relevant in Computer Science, especially in the field of collective adaptive systems and when dealing with systems distributed in physical space. Traditional formal verification techniques are well suited to analyse the temporal evolution of&nbsp;[&hellip;]

---

Geometric Model Checking of Continuous Space

Nick Bezhanishvili ; Vincenzo Ciancia ; David Gabelaia ; Gianluca Grilletti ; Diego Latella ; Mieke Massink.

Topological Spatial Model Checking is a recent paradigm where model checking techniques are developed for the topological interpretation of Modal Logic. The Spatial Logic of Closure Spaces, SLCS, extends Modal Logic with reachability connectives that, in turn, can be used for expressing interesting&nbsp;[&hellip;]

---