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 rang...
| Main Author: | |
|---|---|
| Language: | en |
| Published: |
2020
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10454/17789 |