On algorithmic analysis of transcriptional regulation by LTL model checking

DOI10.1016/j.tcs.2009.02.017zbMath1173.68037MaRDI QIDQ2271449

Jiří Barnat, David Šafránek, J. Fabriková, S. Dražan, Ivana Černá, Luboš Brim

Publication date: 7 August 2009

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2009.02.017

zbMATH Keywords

model checking; genetic regulatory network; piecewise-linear approximation

Mathematics Subject Classification ID

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

92C37: Cell biology

92B05: General biology and biomathematics

Uses Software

• DiVinE
• BIOCHAM
• RoVerGeNe
• GNA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Qualitative simulation of the initiation of sporulation in \textit{Bacillus subtilis}
• Qualitative simulation of genetic regulatory networks using piecewise-linear models
• Dynamical behaviour of biological regulatory networks. II: Immunity control in bacteriophage lambda
• Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
• Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE
• Model Checking Genetic Regulatory Networks with Parameter Uncertainty
• Reachability and Control Synthesis for Piecewise-Affine Hybrid Systems on Simplices
• Controlling a Class of Nonlinear Systems on Rectangles
• Model Checking Liveness Properties of Genetic Regulatory Networks