A review of modelling and verification approaches for computational biology

Description

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.

Links & Downloads

1. Konur S (2020) A review of modelling and verification approaches for computational biology. Technical Report. University of Bradford. Department of Computer Science.
2. http://hdl.handle.net/10454/17789

Tags

Modelling

Verification

Model checking

Biology

Computational biology

Biological systems

Biochemical networks

Gene regulatory networks

Additional Fields

Identifer	oai:union.ndltd.org:BRADFORD/oai:bradscholars.brad.ac.uk:10454/17789
Date	January 2020
Creators	Konur, Savas
Source Sets	Bradford Scholars
Language	English
Detected Language	English
Type	Technical report, Published version
Rights	(c) 2020 University of Bradford.