A logic of behaviour in context

DOI10.1016/j.ic.2014.01.009zbMath1311.68083MaRDI QIDQ2453209

C. J. Banks, I. Stark

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

Mathematics Subject Classification ID

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

Modelling patterns of gene regulation in the bond-calculus

Uses Software

• MoMo
• Casaal
• COPASI

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