Computation Tree Regular Logic for Genetic Regulatory Networks

DOI10.1007/978-3-540-88387-6_6zbMath1183.68380MaRDI 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

03B45: Modal logic (including the logic of norms)

68Q60: Specification and verification (program logics, model checking, etc.)

03B44: Temporal logic

92C42: Systems biology, networks

Related Items

Formal analysis of oscillatory behaviors in biological regulatory networks: an alternative approach, Branching-time logics with path relativisation, CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks, Computation Tree Regular Logic for 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