Cargando…
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...
Autores principales: | , , |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
Frontiers Media S.A.
2012
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3400939/ https://www.ncbi.nlm.nih.gov/pubmed/22833747 http://dx.doi.org/10.3389/fpls.2012.00155 |