Rodolfo Pereira Araujo, Igor Machado Coelho, Luiz Satoru Ochi, Vitor Nazário Coelho. LibBFT: A High-Performace Timed Automata Library Collection for Byzantine Fault Tolerance. In 31st International Symposium on Computer Architecture and High Performance Computing, SBAC-PAD 2019, Campo Grande, Brazil, October 15-18, 2019. pages 234-240, IEEE, 2019. [doi]
Abstract is missing.