Thumbnail Image
Publication

A review of modelling and verification approaches for computational biology

Konur, Savas
Publication Date
2020
End of Embargo
Supervisor
Keywords
Modelling, Verification, Model checking, Biology, Computational biology, Biological systems, Biochemical networks, Gene regulatory networks
Rights
(c) 2020 University of Bradford.
Peer-Reviewed
Yes
Open Access status
Accepted for publication
Institution
Department
Awarded
Embargo end date
Collections
Engineering and Digital Technology Publications
Show all metadata
Files
Thumbnail Image
konur_2020.pdf
Adobe PDF, 523.57 KB
Additional title
Abstract
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.
URI
http://hdl.handle.net/10454/17789
Version
Published version
Citation
Konur S (2020) A review of modelling and verification approaches for computational biology. Technical Report. University of Bradford. Department of Computer Science.
Link to publisher’s version
Link to published version
Link to Version of Record
Type
Technical report
Qualification name
Notes