Accelerating Coverage Estimation Through Partial Model Checking (Q5268124)
From MaRDI portal
scientific article; zbMATH DE number 6733132
Language | Label | Description | Also known as |
---|---|---|---|
English | Accelerating Coverage Estimation Through Partial Model Checking |
scientific article; zbMATH DE number 6733132 |
Statements
Accelerating Coverage Estimation Through Partial Model Checking (English)
0 references
20 June 2017
0 references