Verifying distributed systems (Q5261538)
From MaRDI portal
scientific article; zbMATH DE number 6455632
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verifying distributed systems |
scientific article; zbMATH DE number 6455632 |
Statements
Verifying distributed systems (English)
0 references
3 July 2015
0 references
distributed
0 references
ground and symbolic evaluation
0 references
Hoare-style assertions
0 references
HOL
0 references
inductive reasoning
0 references
infrastructure
0 references
invariants
0 references
linearizability
0 references
local reasoning
0 references
network protocol
0 references
OCaml
0 references
operational semantics
0 references
persistent queue
0 references
refinement
0 references
rely/guarantee
0 references
separation
0 references
