Email Gateway (Nov 18 2021 at 11:06): Email Gateway (Nov 18 2021 at 11:06):From: Lawrence Paulson <lp15@cam.ac.uk>
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.
Journal version here:
https://link.springer.com/article/10.1007/s11047-021-09877-9
Available for free here:
https://arxiv.org/abs/1909.05390
Is this a mere blip or the start of a new trend?
Larry
Last updated: Jul 15 2022 at 23:21 UTC