Sign in
Automated Verification of Multi-Party Agreements and Scheduling of Sending Messages in Distributed Ledger Systems.
I. A. Fedotov
A. S. Khritankov
M. D. Obidare
Published in:
Program. Comput. Softw. (2023)
Keyphrases
</>
multi party
automated verification
distributed systems
model checking
email
scheduling problem
automated reasoning
privacy preserving
reinforcement learning
intelligent systems