"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."@en . . "RIV/00216224:14330/13:00070436!RIV14-MSM-14330___" . . "http://www.sti.uniurb.it/events/sfm13ds/" . . "P(EE2.3.20.0256), S" . . "88720" . "[0639BE6FD1B4]" . . "\u0160afr\u00E1nek, David" . . . . . "systems biology; model checking; dynamical systems"@en . "1"^^ . . "Model Checking in Systems Biology"@en . "Model Checking in Systems Biology"@en . . "Model Checking in Systems Biology" . . "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." . . "RIV/00216224:14330/13:00070436" . . . "14330" . . . "Model Checking in Systems Biology" . "1"^^ .