Parallel model checking large-scale genetic regulatory networks with DiVinE

DOI10.1016/J.ENTCS.2007.12.001zbMATH Open1279.68194OpenAlexW2025214663MaRDI QIDQ2870296FDOQ2870296

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

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

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)

Cites Work

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

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

Uses Software

• DiVinE
• BIOCHAM
• RoVerGeNe
• GNA

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)