Probabilistic model checking of (models of) biological systems is definite done by Luca's group: - Design and Analysis of DNA Strand Displacement Devices using

Probabilistic model checking of (models of) biological systems is definite done by Luca's group: - Design and Analysis of DNA Strand Displacement Devices using Probabilistic Model Checking http://lucacardelli.name/Papers/Design%20and%20Analysis%20of%20DNA%20Circuits.pdf http://lucacardelli.name/Papers/Design%20and%20Analysis%20of... - Central Limit Model Checking http://lucacardelli.name/Papers/Central%20Limit%20Model%20Checking.pdf http://lucacardelli.name/Papers/Central%20Limit%20Model%20Ch...