A general-purpose CRN-to-DSD compiler with formal verification, optimization, and simulation capabilities

DOI10.1007/978-3-319-66799-7_15zbMath1495.68070OpenAlexW2747253451MaRDI QIDQ1694443

Seung Woo Shin, Chris Thachuk, Robert F. Johnson, Stefan Badelt, Erik Winfree, Qing Dong

Publication date: 2 February 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-66799-7_15

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60) Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)

Related Items (11)

Automated analysis of tethered DNA nanostructures using constraint solving ⋮ Verifying chemical reaction network implementations: a bisimulation approach ⋮ Verifying chemical reaction network implementations: a pathway decomposition approach ⋮ Computing with chemical reaction networks: a tutorial ⋮ Fridge compiler: optimal circuits from molecular inventories ⋮ On the stability of nucleic acid feedback control systems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Implementing Non-Equilibrium Networks with Active Circuits of Duplex Catalysts. ⋮ Robust biomolecular finite automata ⋮ nuskell

This page was built for publication: A general-purpose CRN-to-DSD compiler with formal verification, optimization, and simulation capabilities