Combining refinement and signal-temporal logic for biological systems

DOI10.1007/978-3-319-62075-6_23zbMath1367.92045OpenAlexW2731247677MaRDI QIDQ2364692

Umair Siddique, Usman Sanwal

Publication date: 21 July 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-62075-6_23

zbMATH Keywords

refinementbiomodelingEvent-Bsignal-temporal logic

Mathematics Subject Classification ID

Temporal logic (03B44) General theory of mathematical modeling (00A71) Systems biology, networks (92C42)

Uses Software

• Rodin
• Breach

Cites Work

• Unnamed Item
• Robust Satisfaction of Temporal Logic over Real-Valued Signals
• The B-Book
• The benefits of relaxing punctuality
• Quantitative Model Refinement as a Solution to the Combinatorial Size Explosion of Biomodels
• Checking Temporal Properties of Discrete, Timed and Continuous Behaviors

This page was built for publication: Combining refinement and signal-temporal logic for biological systems