Model Checking Gene Regulatory Networks

DOI10.1007/978-3-662-46681-0_47MaRDI QIDQ5194958zbMATH OpenOpenAlexFDO

Authors Mirco Giacobbe, Călin C. Guet, Ashutosh Gupta, Tiago Paixão, Tatjana Petrov, Thomas A. Henzinger

Publication date 17 September 2019

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-662-46681-0_47

zbMATH Keywords

linear temporal logicgene regulatory networkmodel checkbound model checklabel transition system

Mathematics Subject Classification ID

Systems biology, networks (92C42) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Model Checking Genetic Regulatory Networks with Parameter Uncertainty
• Model Checking Software
• Model checking the evolution of gene regulatory networks
• Modelling Gene Regulatory Networks
• Model Checking Liveness Properties of Genetic Regulatory Networks
• Modeling and analysis of gene regulatory networks
• scientific article; zbMATH DE number 2144778
• scientific article; zbMATH DE number 5032000
• Boolean modeling of genetic regulatory networks
• Model checking of biological systems

Cited in

(11)

• CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks
• Model Checking Liveness Properties of Genetic Regulatory Networks
• Qualitative analysis of gene regulatory networks by temporal logic
• A formal methods approach to predicting new features of the eukaryotic vesicle traffic system
• scientific article; zbMATH DE number 5032000 (Why is no real title available?)
• A genetically modified Hoare logic
• Model checking the evolution of gene regulatory networks
• Model checking tap withdrawal in \textit{C. elegans}
• CRNs exposed: a method for the systematic exploration of chemical reaction networks
• Synthesis of biological models from mutation experiments
• Model Checking Genetic Regulatory Networks with Parameter Uncertainty

This page was built for publication: Model Checking Gene Regulatory Networks

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