[isabelle] A rather unusual application of Isabelle, to do with chemical reactions

> 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:


Available for free here:


Is this a mere blip or the start of a new trend?


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.