Translating to Co-Büchi Made Tight, Unified, and Useful (Q2946678)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Translating to Co-Büchi Made Tight, Unified, and Useful |
scientific article |
Statements
Translating to Co-Büchi Made Tight, Unified, and Useful (English)
0 references
17 September 2015
0 references
Büchi automata
0 references
formal verification
0 references
co-Büchi automata
0 references
model checking
0 references
nondeterminism
0 references
