Computation Tree Regular Logic for Genetic Regulatory Networks

DOI10.1007/978-3-540-88387-6_6zbMath1183.68380OpenAlexW1491574517MaRDI QIDQ3540063

Radu Mateescu, Estelle Dumas, Hidde de Jong, Pedro T. Monteiro

Publication date: 20 November 2008

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-88387-6_6

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Systems biology, networks (92C42)

Related Items

Formal analysis of oscillatory behaviors in biological regulatory networks: an alternative approach, Branching-time logics with path relativisation, Computation Tree Regular Logic for Genetic Regulatory Networks, CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks

Uses Software

• E-LOTOS
• SPIN
• DiVinE
• NuSMV
• CADP
• Exp.Open
• CAESAR_SOLVE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Qualitative simulation of genetic regulatory networks using piecewise-linear models
• Results on the propositional \(\mu\)-calculus
• Propositional dynamic logic of regular programs
• Model checking and boolean graphs
• Dynamical behaviour of biological regulatory networks. I: Biological role of feedback loops and practical use of the concept of the loop- characteristic state
• A linear-time model-checking algorithm for the alternation-free modal mu- calculus
• NuSMV: A new symbolic model checker
• Efficient on-the-fly model-checking for regular alternation-free \(\mu\)-calculus
• Modeling and querying biomolecular interaction networks
• Symbolic reachability analysis of genetic regulatory networks using discrete abstractions
• Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE
• Computation Tree Regular Logic for Genetic Regulatory Networks
• Propositional dynamic logic of looping and converse is elementarily decidable
• Model Checking Software
• Derivatives of Regular Expressions
• Hybrid Systems: Computation and Control
• Model Checking Software