DocumentCode
1765903
Title
A Property-Driven Methodology for Formal Analysis of Synthetic Biology Systems
Author
Konur, Savas ; Gheorghe, Marian
Author_Institution
Dept. of Comput. Sci., Univ. of Sheffield, Sheffield, UK
Volume
12
Issue
2
fYear
2015
fDate
March-April 2015
Firstpage
360
Lastpage
371
Abstract
This paper proposes a formal methodology to analyse bio-systems, in particular synthetic biology systems. An integrative analysis perspective combining different model checking approaches based on different property categories is provided. The methodology is applied to the synthetic pulse generator system and several verification experiments are carried out to demonstrate the use of our approach to formally analyse various aspects of synthetic biology systems.
Keywords
bioinformatics; biological techniques; formal verification; formal methodology; integrative analysis; property-driven methodology; synthetic biology systems; synthetic pulse generator system; verification experiments; Analytical models; Biological system modeling; Computational modeling; Mathematical model; Model checking; Probabilistic logic; Synthetic biology; Formal analysis; formal analysis; model checking; synthetic biology; synthetic pulse generator; verification;
fLanguage
English
Journal_Title
Computational Biology and Bioinformatics, IEEE/ACM Transactions on
Publisher
ieee
ISSN
1545-5963
Type
jour
DOI
10.1109/TCBB.2014.2362531
Filename
6919278
Link To Document