Model Checking of Biological Systems
| Název česky | Ověřování modelů biologických systémů |
|---|---|
| Autoři | |
| Rok publikování | 2013 |
| Druh | Článek ve sborníku |
| Konference | Formal Methods for Dynamical Systems |
| Fakulta / Pracoviště MU | |
| Citace | |
| Doi | https://doi.org/10.1007/978-3-642-38874-3_3 |
| Obor | Informatika |
| Klíčová slova | dynamical systems |
| Popis | Model checking together with other formal methods and techniques is being adapted for applications to biological systems. We present a selection of approaches used for modeling biological systems and formalizing their interesting properties in temporal logics. We also give a brief account of high performance model checking techniques and add a few case studies that demonstrate the use of model checking in computational systems biology. The primary aim is to give a reference for further reading. |
| Související projekty: |