scientific article; zbMATH DE number 6970802

DOI10.23638/LMCS-14(4:2)2018zbMath1448.68313arXiv1706.09334MaRDI QIDQ4553288

Luca Bortolussi, Laura Nenzi, Vincenzo Ciancia, Michele Loreti, Mieke Massink

Publication date: 2 November 2018

Full work available at URL: https://arxiv.org/abs/1706.09334

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (8)

Geometric Model Checking of Continuous Space ⋮ Mining interpretable spatio-temporal logic properties for spatially distributed systems ⋮ A Spatial Logic for Simplicial Models ⋮ Back-and-forth in space: on logics and bisimilarity in closure spaces ⋮ Minimisation of spatial models using branching bisimilarity ⋮ A survey of challenges for runtime verification from advanced application domains (beyond software) ⋮ Unnamed Item ⋮ Spatial Logic and Spatial Model Checking for Closure Spaces

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the almighty wand
• Robustness of temporal logic specifications for continuous-time signals
• A multiprocess network logic with temporal and spatial modalities
• A generalized topological view of motion in discrete space.
• Time robustness in MTL and expressivity in hybrid system falsification
• System design of stochastic models using robustness of temporal properties
• Spatial Logic and Spatial Model Checking for Closure Spaces
• Model Checking Spatial Logics for Closure Spaces
• SpaTeL
• Efficient CTMC Model Checking of Linear Real-Time Objectives
• Specifying and Verifying Properties of Space
• The Temporal Logic of Rewriting: A Gentle Introduction
• Handbook of Spatial Logics
• Robust Satisfaction of Temporal Logic over Real-Valued Signals
• The benefits of relaxing punctuality
• A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks
• The chemical basis of morphogenesis
• An Experimental Spatio-Temporal Model Checker
• A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting
• Logic-Based Multi-objective Design of Chemical Reaction Networks
• Tools and Algorithms for the Construction and Analysis of Systems
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

This page was built for publication: