Result: Eiffel: Extending Formal Verification of Distributed Algorithms to Utility Analysis
Title:
Eiffel: Extending Formal Verification of Distributed Algorithms to Utility Analysis
Authors:
Source:
2023 5th Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS). :1-7
Publisher Information:
IEEE, 2023.
Publication Year:
2023
Document Type:
Academic journal
Article
DOI:
10.1109/brains59668.2023.10316928
Rights:
STM Policy #29
Accession Number:
edsair.doi...........cb2e772930462b6835e6e78402cc2a18
Database:
OpenAIRE