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

Miguel Carrillo, Pedro A. Góngora, David A. Rosenblueth
<span title="">2012</span> <i title="Frontiers Media SA"> <a target="_blank" rel="noopener" href="" style="color: black;">Frontiers in Plant Science</a> </i> &nbsp;
Model checking is a well-established technique for automatically verifying complex systems. Recently, model checkers have appeared in computer tools for the analysis of biochemical (and gene regulatory) networks. We survey several such tools to assess the potential of model checking in computational biology. Next, our overview focuses on direct applications of existing model checkers, as well as on algorithms for biochemical network analysis influenced by model checking, such as those using
more &raquo; ... ry decision diagrams (BDDs) or Boolean-satisfiability solvers. We conclude with advantages and drawbacks of model checking for the analysis of biochemical networks.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="">doi:10.3389/fpls.2012.00155</a> <a target="_blank" rel="external noopener" href="">pmid:22833747</a> <a target="_blank" rel="external noopener" href="">pmcid:PMC3400939</a> <a target="_blank" rel="external noopener" href="">fatcat:ubqooqdp2vhrbakjxvui4eq4wy</a> </span>
<a target="_blank" rel="noopener" href=";sr=b&amp;sig=iK9yMJ40qUV8YPzoCnovjGOpGIxsJiDm6iUC%2Baf%2BmVI%3D&amp;se=2017-08-30T09%3A51%3A08Z&amp;sp=r&amp;rscd=attachment%3B%20filename%2A%3DUTF-8%27%27fpls-03-00155.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href=""> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> </button> </a> <a target="_blank" rel="external noopener" href="" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> </button> </a>