Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE

DOI10.1016/j.entcs.2007.12.001zbMath1279.68194MaRDI QIDQ2870296

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

Publication date: 17 January 2014

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

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.12.001

zbMATH Keywords

discrete simulation; genetic regulatory networks; parallel model checking

Mathematics Subject Classification ID

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

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

92C42: Systems biology, networks

Related Items

CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks, On algorithmic analysis of transcriptional regulation by LTL model checking, Computation Tree Regular Logic for Genetic Regulatory Networks

Uses Software

• DiVinE
• BIOCHAM
• RoVerGeNe
• GNA

Cites Work

• 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
• Symbolic reachability analysis of genetic regulatory networks using discrete abstractions
• Model Checking Genetic Regulatory Networks with Parameter Uncertainty
• A class of piecewise linear differential equations arising in biological models
• Model Checking Software
• Hybrid Systems: Computation and Control
• Model Checking Liveness Properties of Genetic Regulatory Networks
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item