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...

Descripción completa

Detalles Bibliográficos
Autores principales: Carrillo, Miguel, Góngora, Pedro A., Rosenblueth, David A.
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