2019/09/11 by James I. Lathrop, Lathrop, James I., Jack H. Lutz +7
Biochemistry, Genetics and Molecular Biology · Computer Science · #Advanced Database Systems and Queries #DNA and Biological Computing #Emerging Technologies (cs.ET) #FOS: Biological sciences #FOS: Computer and information sciences #Gene Regulatory Network Analysis #Molecular Networks (q-bio.MN)
paper · pdf · doi:10.48550/arxiv.1909.05390
openalex publication_date 2019/09/11 · openalex created_date 2022/07/28 · openalex updated_date 2026/07/28
We show that very simple molecular systems, modeled as chemical reaction\nnetworks, can have behaviors that exhibit dramatic phase transitions at certain\npopulation thresholds. Moreover, the magnitudes of these thresholds can thwart\nattempts to use simulation, model checking, or approximation by differential\nequations to formally verify the behaviors of such systems at realistic\npopulations. We show how formal theorem provers can successfully verify some\nsuch systems at populations where other verification methods fail.\n