Using approximation for the verification of token-scaling models (Q2163772)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Using approximation for the verification of token-scaling models |
scientific article |
Statements
Using approximation for the verification of token-scaling models (English)
0 references
11 August 2022
0 references
model checking
0 references
under-approximation
0 references
witness path
0 references
