Model Checking of Biological Systems
From MaRDI portal
Publication:5300885
DOI10.1007/978-3-642-38874-3_3zbMath1380.92024MaRDI QIDQ5300885
David Šafránek, Milan Češka, Luboš Brim
Publication date: 28 June 2013
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-38874-3_3
68Q60: Specification and verification (program logics, model checking, etc.)
92-08: Computational methods for problems pertaining to biology
92C42: Systems biology, networks
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Qualitative simulation of genetic regulatory networks using piecewise-linear models
- Foundational aspects of multiscale modeling of biological systems with process algebras
- Computing reachable states for nonlinear biological models
- CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks
- Model-checking in dense real-time
- On temporal logic constraint solving for analyzing numerical data time series
- Detecting synchronisation of biological oscillators by model checking
- Query-based verification of qualitative trends and oscillations in biochemical systems
- Differential equation approximations for Markov chains
- Depth-first search is inherently sequential
- The temporal semantics of concurrent programs
- Symbolic model checking: \(10^{20}\) states and beyond
- A logic for reasoning about time and reliability
- A control problem for affine dynamical systems on a full-dimensional polytope.
- NuSMV: A new symbolic model checker
- Kronos: A verification tool for real-time systems
- Formal molecular biology
- Bio-PEPA: A framework for the modelling and analysis of biological systems
- Probabilistic model checking of complex biological pathways
- Finite state Markovian decision processes
- A Stack-Slicing Algorithm for Multi-Core Model Checking
- Fluid Model Checking
- Stochastic hybrid systems for studying biochemical processes
- Stochastic Model Checking
- Statistical Model Checking for Cyber-Physical Systems
- Topological sorting of large networks
- Approximating Continuous Systems by Timed Automata
- On Timed Models of Gene Networks
- Model Checking Genetic Regulatory Networks with Parameter Uncertainty
- Inverse problems in systems biology
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- A really temporal logic
- The complexity of probabilistic verification
- The benefits of relaxing punctuality
- Controlling a Class of Nonlinear Systems on Rectangles
- Hybrid Automata in Systems Biology: How Far Can We Go?
- HYPE Applied to the Modelling of Hybrid Biological Systems
- Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Formal Methods in Computer-Aided Design
- Formal Methods for the Design of Real-Time Systems
- Depth-First Search and Linear Graph Algorithms
- Stochastic modelling of gene regulatory networks
- Model-checking continuous-time Markov chains
- Computer Aided Verification
- Parallelizing the \(\text{Mur}\varphi\) verifier