RDA: A Coq Library to Reason about Randomised Distributed Algorithms in the Message Passing Model (Q4621204)
From MaRDI portal
scientific article; zbMATH DE number 7020198
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | RDA: A Coq Library to Reason about Randomised Distributed Algorithms in the Message Passing Model |
scientific article; zbMATH DE number 7020198 |
Statements
RDA: A Coq Library to Reason about Randomised Distributed Algorithms in the Message Passing Model (English)
0 references
8 February 2019
0 references
distributed algorithm
0 references
randomized algorithm
0 references
formal proof
0 references
proof assistant
0 references
