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]
@inproceedings{BaloochestaniJ23,
title = {Eiffel: Extending Formal Verification of Distributed Algorithms to Utility Analysis},
author = {Arian Baloochestani and Leander Jehl},
year = {2023},
doi = {10.1109/BRAINS59668.2023.10316928},
url = {https://doi.org/10.1109/BRAINS59668.2023.10316928},
researchr = {https://researchr.org/publication/BaloochestaniJ23},
cites = {0},
citedby = {0},
pages = {1-7},
booktitle = {5th Conference on Blockchain Research & Applications for Innovative Networks and Services, BRAINS 2023, Paris, France, October 11-13, 2023},
publisher = {IEEE},
isbn = {979-8-3503-1782-4},
}