A logic of behaviour in context
From MaRDI portal
Publication:2453209
DOI10.1016/j.ic.2014.01.009zbMath1311.68083MaRDI QIDQ2453209
Publication date: 6 June 2014
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2014.01.009
92C40: Biochemistry, molecular biology
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
03B44: Temporal logic
Related Items
Uses Software
Cites Work
- Unnamed Item
- Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures
- On temporal logic constraint solving for analyzing numerical data time series
- Elimination of quantifiers and undecidability in spatial logics for concurrency
- Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic
- Robust Satisfaction of Temporal Logic over Real-Valued Signals
- The benefits of relaxing punctuality
- Anytime, anywhere
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Computational Methods in Systems Biology
- Formal Methods for Components and Objects