Verifying Chemical Reaction Network Implementations: A Pathway Decomposition Approach

Seung Woo Shin, Chris Thachuk, Erik Winfree

Here we focus on the challenge of verifying the correctness of molecular implementations of abstract chemical reaction networks, where operation in a well-mixed "soup" of molecules…