Automatic selection of verification tools for efficient analysis of biochemical models

MOTIVATION: Formal verification is a computational approach that checks system correctness (in relation to a desired functionality). It has been widely used in engineering applications to verify that systems work correctly. Model checking, an algorithmic approach to verification, looks at whether a...

Descripción completa

Detalles Bibliográficos
Autores principales: Bakir, Mehmet Emin, Konur, Savas, Gheorghe, Marian, Krasnogor, Natalio, Stannett, Mike
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Oxford University Press 2018
Materias:
Original Papers
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6137970/
https://www.ncbi.nlm.nih.gov/pubmed/29688313
http://dx.doi.org/10.1093/bioinformatics/bty282

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6137970/
https://www.ncbi.nlm.nih.gov/pubmed/29688313
http://dx.doi.org/10.1093/bioinformatics/bty282

Ejemplares similares