Abstract
We discuss the formalism of chemical reaction networks (CRNs) as a computer-aided design interface for using formal methods in engineering living technologies. We set out by reviewing formal methods within a broader view of synthetic biology. Based on published results, we illustrate, step by step, how mathematical and computational techniques on CRNs can be used to study the structural and dynamic properties of the designed systems. As a case study, we use an E. coli two-component system that relays the external inorganic phosphate concentration signal to genetic components. We show how CRN models can scan and explore phenotypic regimes of synthetic promoters with varying detection thresholds, thereby providing a means for fine-tuning the promoter strength to match the specification.