Modular verification of chemical reaction network encodings via serializability analysis
Theor. Comput. Sci., Volume 632, Issue C, 2015.
Chemical reaction networksDNA strand displacementModular verificationSerializability
Chemical reaction networks are a powerful means of specifying the intended behavior of synthetic biochemical systems. A high-level formal specification, expressed as a chemical reaction network, may be compiled into a lower-level encoding, which can be directly implemented in wet chemistry and may itself be expressed as a chemical reactio...More
Full Text (Upload PDF)
PPT (Upload PPT)