A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification (Q2883083)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification |
scientific article |
Statements
11 May 2012
0 references
program verification and debugging
0 references
cost analysis
0 references
resource usage analysis
0 references
complexity analysis
0 references
A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification (English)
0 references
