An Experimental Spatio-Temporal Model Checker

DOI10.1007/978-3-662-49224-6_24MaRDI QIDQ4988650zbMATH OpenOpenAlexWikidataFDO

Authors Vincenzo Ciancia, Gianluca Grilletti, Michele Loreti, 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

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

Recommendations

• Spatio-temporal Model Checking for Mobile Real-Time Systems
• Spatio-temporal model-checking of cyber-physical systems using graph queries
• A model checker for linear time temporal logic
• Model-checking timed temporal logics
• scientific article; zbMATH DE number 2196601
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• scientific article; zbMATH DE number 1744956
• Efficient detection of vacuity in temporal model checking

Cited in

(13)

• Spatial logic and spatial model checking for closure spaces
• Model checking spatial logics for closure spaces
• SpaTeL: a novel spatial-temporal logic and its applications to networked systems
• Spatio-temporal Model Checking for Mobile Real-Time Systems
• Qualitative and quantitative monitoring of spatio-temporal properties with SSTL
• A logic for monitoring dynamic networks of spatially-distributed cyber-physical systems
• Geometric Model Checking of Continuous Space
• Three-valued spatio-temporal logic: a further analysis on spatio-temporal properties of stochastic systems
• A Spatial Logic for Simplicial Models
• Back-and-forth in space: on logics and bisimilarity in closure spaces
• Spatio-temporal model-checking of cyber-physical systems using graph queries
• RCR report for analysis of spatiotemporal properties of stochastic systems using TSTL
• On bisimilarity for quasi-discrete closure spaces

This page was built for publication: An Experimental Spatio-Temporal Model Checker

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4988650)