A property-driven methodology for formal analysis of synthetic biology systems
View/ Open
tcbb15 author's copy.pdf (899.2Kb)
Download
Publication date
2015-03Rights
© 2015 IEEE. Reproduced with permission from the publisher. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.Peer-Reviewed
YesOpen Access status
openAccess
Metadata
Show full item recordAbstract
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.Version
Accepted manuscriptCitation
Konur S and Gheorghe M (2015) A property-driven methodology for formal analysis of synthetic biology systems. IEEE/ACM Transactions on Computational Biology and Bioinformatics, 12 (2): 360-371.Link to Version of Record
http://doi.org/10.1109/TCBB.2014.2362531Type
Articleae974a485f413a2113503eed53cd6c53
http://doi.org/10.1109/TCBB.2014.2362531