An Experimental Spatio-Temporal Model Checker

DOI10.1007/978-3-662-49224-6_24zbMath1461.68113OpenAlexW2234073770WikidataQ124438980 ScholiaQ124438980MaRDI QIDQ4988650

Gianluca Grilletti, Michele Loreti, Vincenzo Ciancia, Diego Latella, Mieke Massink

Publication date: 18 May 2021

Published in: Software Engineering and Formal Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-49224-6_24

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items

Geometric Model Checking of Continuous Space ⋮ A Spatial Logic for Simplicial Models ⋮ Back-and-forth in space: on logics and bisimilarity in closure spaces ⋮ Unnamed Item ⋮ Unnamed Item