Parallel model checking large-scale genetic regulatory networks with DiVinE

DOI10.1016/J.ENTCS.2007.12.001MaRDI QIDQ2870296zbMATH OpenOpenAlexFDO

Authors J. Barnat, Luboš Brim, D. Šafránek, I. Černá, S. Dražan

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

genetic regulatory networksparallel model checkingdiscrete simulation

Mathematics Subject Classification ID

Systems biology, networks (92C42) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• On algorithmic analysis of transcriptional regulation by LTL model checking
• Model Checking Software
• scientific article; zbMATH DE number 1950556
• Model checking of biological systems
• Model Checking Genetic Regulatory Networks with Parameter Uncertainty

Cites work

• scientific article; zbMATH DE number 1705167 (Why is no real title available?)
• scientific article; zbMATH DE number 1950556 (Why is no real title available?)
• scientific article; zbMATH DE number 1956635 (Why is no real title available?)
• scientific article; zbMATH DE number 1982197 (Why is no real title available?)
• A class of piecewise linear differential equations arising in biological models
• Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
• Dynamical behaviour of biological regulatory networks. II: Immunity control in bacteriophage lambda
• Hybrid Systems: Computation and Control
• Model Checking Genetic Regulatory Networks with Parameter Uncertainty
• Model Checking Liveness Properties of Genetic Regulatory Networks
• Model Checking Software
• Qualitative simulation of genetic regulatory networks using piecewise-linear models
• Qualitative simulation of the initiation of sporulation in \textit{Bacillus subtilis}
• Symbolic reachability analysis of genetic regulatory networks using discrete abstractions
• Time Petri nets for modelling and analysis of biochemical networks

Cited in

(3)

• 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

Describes a project that uses

Uses Software

• GNA
• RoVerGeNe
• BIOCHAM
• DiVinE

This page was built for publication: Parallel model checking large-scale genetic regulatory networks with DiVinE

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