An overview of existing modeling tools making use of model checking in the analysis of biochemical networks

Frontiers in Plant Science

Pedro A. eGóngora¹  David A. Rosenblueth¹  Miguel eCarrillo¹ 

[1] Universidad Nacional Autónoma de México;

关键词: Gene Regulatory Networks;    complex systems;    model checking;    biochemical networks;    model analysis;   

DOI  :  10.3389/fpls.2012.00155

来源: DOAJ

【 摘 要 】

Model checking is a well-established technique for automaticallyverifying complex systems. Recently, model checkers have appearedin computer tools for the analysis of biochemical (and generegulatory) networks. We survey several such tools to assess thepotential of model checking in computational biology. Next, our overviewfocuses on direct applications of existing model checkers, as well ason algorithms for biochemical network analysis influenced by modelchecking, such as those using binary decision diagrams or Booleansatisfiability solvers. We conclude with advantages and drawbacks ofmodel checking for the analysis of biochemical networks.

【 授权许可】

Unknown