Model Checking Liveness Properties of Genetic Regulatory Networks

DOI10.1007/978-3-540-71209-1_25MaRDI QIDQ5758118zbMATH OpenOpenAlexFDO

Authors Grégory Batt, Calin Belta, Ron Weiss

Publication date 3 September 2007

Published in Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-71209-1_25

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Neural networks for/in biological studies, artificial life and related topics (92B20) Systems biology, networks (92C42)

Recommendations

• Model Checking Gene Regulatory Networks
• Model Checking Genetic Regulatory Networks with Parameter Uncertainty
• Model Checking Software
• Model checking the evolution of gene regulatory networks
• Model checking of biological systems
• Applications of an expressive statistical model checking approach to the analysis of genetic circuits
• scientific article; zbMATH DE number 1950556
• On algorithmic analysis of transcriptional regulation by LTL model checking

Cited in

(6)

• On algorithmic analysis of transcriptional regulation by LTL model checking
• Parallel model checking large-scale genetic regulatory networks with DiVinE
• On Timed Models of Gene Networks
• Model Checking Genetic Regulatory Networks with Parameter Uncertainty
• Model Checking Gene Regulatory Networks
• CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks

Describes a project that uses

Uses Software

• RoVerGeNe

This page was built for publication: Model Checking Liveness Properties of Genetic Regulatory Networks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5758118)