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


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… (More)
DOI: 10.3389/fpls.2012.00155

5 Figures and Tables


  • Presentations referencing similar topics