Return to search

A review of modelling and verification approaches for computational biology

This paper reviews most frequently used computational modelling approaches and formal verification techniques in computational biology. The paper also compares a number of model checking tools and software suits used in analysing biological systems and biochemical networks and verifiying a wide range of biological properties.

Identiferoai:union.ndltd.org:BRADFORD/oai:bradscholars.brad.ac.uk:10454/17789
Date January 2020
CreatorsKonur, Savas
Source SetsBradford Scholars
LanguageEnglish
Detected LanguageEnglish
TypeTechnical report, Published version
Rights(c) 2020 University of Bradford.

Page generated in 0.0023 seconds