www.prismmodelchecker.org
[CKS00] C. Cachin, K. Kursawe and V. Shoup. Random oracles in Constantinople: Practical asynchronous Byzantine agreement using cryptography (extended abstract). In Proc. Symposium on Principles of Distributed Computing, pages 123-132. 2000. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications