2026-08-11T09:40:17Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:12958 2024-03-06T10:51:10Z ddc:004 open_access

Population-Induced Phase Transitions and the Verification of Chemical Reaction Networks Lathrop, James I. Lutz, Jack H. Lutz, Robyn R. Potter, Hugh D. Riley, Matthew R. chemical reaction networks molecular programming phase transitions population protocols verification We show that very simple molecular systems, modeled as chemical reaction networks, can have behaviors that exhibit dramatic phase transitions at certain population thresholds. Moreover, the magnitudes of these thresholds can thwart attempts to use simulation, model checking, or approximation by differential equations to formally verify the behaviors of such systems at realistic populations. We show how formal theorem provers can successfully verify some such systems at populations where other verification methods fail. Schloss Dagstuhl – Leibniz-Zentrum für Informatik James I. Lathrop and Jack H. Lutz and Robyn R. Lutz and Hugh D. Potter and Matthew R. Riley 2020 Is Part Of LIPIcs, Volume 174, 26th International Conference on DNA Computing and Molecular Programming (DNA 26) (2020) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.DNA.2020.5 urn:nbn:de:0030-drops-129583 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DNA.2020.5 eng https://creativecommons.org/licenses/by/3.0/legalcode