Formal semantics and verification of network-based biocomputation circuits

DOI10.1007/978-3-030-67067-2_21MaRDI QIDQ2234096zbMATH OpenOpenAlexFDO

Authors Michelle Aluf-Medina, Till Korten, Avraham Raviv, Dan V. jun. Nicolau, Hillel Kugler

Publication date 18 October 2021

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-030-67067-2_21

zbMATH Keywords

model checkingsatisfiabilitybiological computationexact coversubset sum problemnetwork-based biocomputation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55) Networks and circuits as models of computation; circuit complexity (68Q06) Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)

Recommendations

• Automated Design and Verification of Localized DNA Computation Circuits
• Formal verification of P systems with active membranes through model checking
• DNA walker circuits: computational potential, design, and verification
• DNA Walker Circuits: Computational Potential, Design, and Verification
• Computing properties of stable configurations of thermodynamic binding networks

Cites work

• scientific article; zbMATH DE number 3639144 (Why is no real title available?)
• scientific article; zbMATH DE number 1950556 (Why is no real title available?)
• Automated Design and Verification of Localized DNA Computation Circuits
• DNA Walker Circuits: Computational Potential, Design, and Verification
• Functional analysis of large-scale DNA strand displacement circuits
• Modelling, simulating and verifying Turing-powerful strand displacement systems
• NuSMV: A new symbolic model checker
• Theory and Applications of Satisfiability Testing

Cited in

(4)

• Simulation and Verification of Electronic and Biological Systems
• \(\epsilon\)-semantics computations on biological systems
• Verification Modulo theories
• Experimental biological protocols with formal semantics

This page was built for publication: Formal semantics and verification of network-based biocomputation circuits

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2234096)