Cargando…
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...
| Autores principales: | , , , , |
|---|---|
| Formato: | Online Artículo Texto |
| Lenguaje: | English |
| Publicado: |
Oxford University Press
2018
|
| Materias: | |
| 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 |