Towards automated verification of multi-party consensus protocols.
Ivan FedotovAnton KhritankovArtem BargerPublished in: CoRR (2021)
Keyphrases
- multi party
- automated verification
- model checking
- automated reasoning
- formal verification
- privacy preserving
- privacy preserving distributed data mining
- fair exchange protocols
- temporal logic
- graph theory
- description language
- mental states
- virtual humans
- theorem proving
- data mining
- multi issue
- distributed systems
- knowledge representation
- artificial intelligence