Proving correctness of imperative programs by linearizing constrained Horn clauses (Q4593003)
From MaRDI portal
scientific article; zbMATH DE number 6804565
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Proving correctness of imperative programs by linearizing constrained Horn clauses |
scientific article; zbMATH DE number 6804565 |
Statements
Proving correctness of imperative programs by linearizing constrained Horn clauses (English)
0 references
9 November 2017
0 references
program verification
0 references
partial correctness specifications
0 references
Horn clauses
0 references
constraint logic programming
0 references
program transformation
0 references
0 references
