Verifying chemical reaction network implementations: a bisimulation approach
Journal: Johnson R, Dong Q, Winfree E , (). Verifying chemical reaction network implementations: a bisimulation approach Theor. Comput. Sci. . ,
Abstract:Efforts in programming DNA and other biological molecules have recently focused on general schemes to physically implement arbitrary Chemical Reaction Networks. Errors in some of the proposed schemes have driven a desire for formal verification methods. By …
URL: https://www.sciencedirect.com/science/article/pii/S0304397518300136
