Model Checking of Biological Systems

Investor logo
Investor logo
Investor logo

Warning

This publication doesn't include Institute of Computer Science. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

BRIM Luboš ČEŠKA Milan ŠAFRÁNEK David

Year of publication 2013
Type Article in Proceedings
Conference Formal Methods for Dynamical Systems
MU Faculty or unit

Faculty of Informatics

Citation
Doi http://dx.doi.org/10.1007/978-3-642-38874-3_3
Field Informatics
Keywords dynamical systems
Description 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.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.

More info