www.prismmodelchecker.org
[CCN12] Luca Cardelli and Attila Csikász-Nagy. The Cell Cycle Switch Computes Approximate Majority. Nature Scientific Reports, 2. 2012. [Studies the cell cycle switch as a computing device, based on deterministic/stochastic simulation and probabilistic verification with PRISM.]
Links: [Google] [Google Scholar]

Publications