Proving Termination by Policy Iteration (Q5170173)
From MaRDI portal
scientific article; zbMATH DE number 6319524
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Proving Termination by Policy Iteration |
scientific article; zbMATH DE number 6319524 |
Statements
Proving Termination by Policy Iteration (English)
0 references
22 July 2014
0 references
abstract interpretation
0 references
policy iteration
0 references
template constraint matrices
0 references
termination analysis
0 references
0 references
0 references
