Hanish Gogada, Hein Meling, Leander Jehl, John Ingve Olsen. An Extensible Framework for Implementing and Validating Byzantine Fault-Tolerant Protocols. In Yanhong Annie Liu, Elad Michael Schiller, editors, Proceedings of the 5th workshop on Advanced tools, programming languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems, ApPLIED 2023, Orlando, FL, USA, 19 June 2023. ACM, 2023. [doi]
Abstract is missing.