BRIM, Luboš, Milan ČEŠKA and David ŠAFRÁNEK. Model Checking of Biological Systems. In Marco Bernardo. Formal Methods for Dynamical Systems. Neuveden: Springer, 2013. p. 63-112, 50 pp. ISBN 978-3-642-38873-6. doi:10.1007/978-3-642-38874-3_3.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Model Checking of Biological Systems
Name in Czech Ověřování modelů biologických systémů
Authors BRIM, Luboš (203 Czech Republic, guarantor, belonging to the institution), Milan ČEŠKA (203 Czech Republic, belonging to the institution) and David ŠAFRÁNEK (203 Czech Republic, belonging to the institution).
Edition Neuveden, Formal Methods for Dynamical Systems, p. 63-112, 50 pp. 2013.
Publisher Springer
Other information
Original language English
Type of outcome Proceedings paper
Field of Study 10201 Computer sciences, information science, bioinformatics
Country of publisher Germany
Confidentiality degree is not subject to a state or trade secret
Publication form printed version "print"
Impact factor Impact factor: 0.402 in 2005
RIV identification code RIV/00216224:14330/13:00066544
Organization unit Faculty of Informatics
ISBN 978-3-642-38873-6
ISSN 0302-9743
Doi http://dx.doi.org/10.1007/978-3-642-38874-3_3
Keywords (in Czech) dynamické systémy
Keywords in English dynamical systems
Tags International impact, Reviewed
Changed by Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 24/4/2014 18:49.
Abstract
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.
Links
EE2.3.20.0256, research and development projectName: Vytvoření výzkumného týmu a mezinárodního konzorcia pro počítačový model buňky sinice
EE2.3.30.0009, research and development projectName: Zaměstnáním čerstvých absolventů doktorského studia k vědecké excelenci
GAP202/11/0312, research and development projectName: Vývoj a verifikace softwarových komponent v zapouzdřených systémech (Acronym: Components in Embedded Systems)
Investor: Czech Science Foundation, Standard Projects
PrintDisplayed: 25/2/2020 08:25