Verifying Procedural Programs via Constrained Rewriting Induction (Q5278212)
From MaRDI portal
scientific article; zbMATH DE number 6744626
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verifying Procedural Programs via Constrained Rewriting Induction |
scientific article; zbMATH DE number 6744626 |
Statements
Verifying Procedural Programs via Constrained Rewriting Induction (English)
0 references
13 July 2017
0 references
constrained term rewriting
0 references
inductive theorem proving
0 references
lemma generation
0 references
program analysis
0 references
rewriting induction
0 references
0 references
0 references
0 references
