A Property-Driven Methodology for Formal Analysis of Synthetic Biology Systems

IEEE/ACM Trans Comput Biol Bioinform. 2015 Mar-Apr;12(2):360-71. doi: 10.1109/TCBB.2014.2362531.

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.

Publication types

  • Research Support, Non-U.S. Gov't

MeSH terms

  • Algorithms
  • Computer Simulation
  • Models, Biological*
  • Models, Statistical*
  • Synthetic Biology / methods*