Loading...
A property-driven methodology for formal analysis of synthetic biology systems
Konur, Savas Gheorghe, Marian
Konur, Savas
Gheorghe, Marian
Publication Date
2015-03
End of Embargo
Supervisor
Rights
© 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
Yes
Open Access status
openAccess
Accepted for publication
Institution
Department
Awarded
Embargo end date
Additional title
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.
Version
Accepted manuscript
Citation
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 publisher’s version
Link to published version
Link to Version of Record
Type
Article