Formalising Decentralised Exchanges in Coq.

Eske Hoy Nielsen Danil Annenkov Bas Spitters

Published in: CoRR (2022)

Keyphrases

formal methods
theorem prover
conflict resolution
multi agent systems
discrete event systems
autonomous agents
max sum algorithm
relational databases
telecommunication networks