Verifying quantitative temporal properties of procedural programs (Q5009429)
From MaRDI portal
scientific article; zbMATH DE number 7378559
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verifying quantitative temporal properties of procedural programs |
scientific article; zbMATH DE number 7378559 |
Statements
4 August 2021
0 references
verification
0 references
formal methods
0 references
pushdown systems
0 references
visibly pushdown
0 references
quantitative temporal properties
0 references
0 references
Verifying quantitative temporal properties of procedural programs (English)
0 references
