Verification of Parameterized Communicating Automata via Split-Width (Q2811340)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verification of Parameterized Communicating Automata via Split-Width |
scientific article |
Statements
Verification of Parameterized Communicating Automata via Split-Width (English)
0 references
10 June 2016
0 references
parameterized distributed systems
0 references
model checking
0 references
split-width
0 references
message sequence charts
0 references
