Arian Baloochestani, Leander Jehl. Eiffel: Extending Formal Verification of Distributed Algorithms to Utility Analysis. In 5th Conference on Blockchain Research & Applications for Innovative Networks and Services, BRAINS 2023, Paris, France, October 11-13, 2023. pages 1-7, IEEE, 2023. [doi]
Abstract is missing.