Yes / 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. / EPSRC
Identifer | oai:union.ndltd.org:BRADFORD/oai:bradscholars.brad.ac.uk:10454/8708 |
Date | 03 1900 |
Creators | Konur, Savas, Gheorghe, Marian |
Source Sets | Bradford Scholars |
Language | English |
Detected Language | English |
Type | Article, Accepted manuscript |
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., Unspecified |
Page generated in 0.0015 seconds