On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency (Q5881540)
From MaRDI portal
scientific article; zbMATH DE number 7662158
Language | Label | Description | Also known as |
---|---|---|---|
English | On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency |
scientific article; zbMATH DE number 7662158 |
Statements
On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency (English)
0 references
10 March 2023
0 references
certification
0 references
distributed algorithm
0 references
formal instance verification
0 references
0 references
0 references
0 references
0 references