www.prismmodelchecker.org
[BCFCC12] Fernando A. F. Braz, Jader S. Cruz, Alessandra C. Faria-Campos and SeĢrgio V. A. Campos. A Probabilistic Model Checking Approach to Investigate the Palytoxin Effects on the Na+/K+-ATPase. In Proc. 7th Brazilian Symposium on Bioinformatics (BSB'12). 2012. [Studies the effects of the palytoxin toxin in transmembrane ionic transport systems using various probabilistic model checking tools, including PRISM.]

Publications