www.prismmodelchecker.org
[RC14b] José Ignacio Requeno and José Manuel Colom. Timed and Probabilistic Model Checking over Phylogenetic Trees. In 8th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB'14), volume 294 of Advances in Intelligent Systems and Computing Volume, pages 105-112, Springer. 2014. [Analyses phylogenetic trees using probabilistic model checking and PRISM.]
Notes: The original publication is available at www.springerlink.com.

Publications