www.prismmodelchecker.org
[BCFCC13] Fernando A. F. Braz, Jader S. Cruz, Alessandra C. Faria-Campos and SeĢrgio V. A. Campos. Probabilistic Model Checking Analysis of Palytoxin Effects on Cell Energy Reactions of the Na+/K+-ATPase. IEEE/ACM Transactions on Computational Biology and Bioinformatics, 10(6), pages 1530-1541. 2013. [Analyses palytoxin toxin interactions within cell transport systems using probabilistic model checking and PRISM.]

Publications