Parametric Verification of a Group Membership Algorithm (Q5392297)
From MaRDI portal
scientific article; zbMATH DE number 5876522
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Parametric Verification of a Group Membership Algorithm |
scientific article; zbMATH DE number 5876522 |
Statements
Parametric Verification of a Group Membership Algorithm (English)
0 references
8 April 2011
0 references
formal verification
0 references
fault-tolerant protocols
0 references
parametric counter automata
0 references
abstraction
0 references
