Parametric Verification of a Group Membership Algorithm (Q5476392)
From MaRDI portal
scientific article; zbMATH DE number 5041264
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Parametric Verification of a Group Membership Algorithm |
scientific article; zbMATH DE number 5041264 |
Statements
Parametric Verification of a Group Membership Algorithm (English)
0 references
14 July 2006
0 references
formal verification
0 references
fault-tolerant protocols
0 references
parametric counter automata
0 references
abstraction
0 references
