Verifying procedural programs via constrained rewriting induction
Research output: Contribution to journal › Journal article › Research › peer-review
| Original language | English |
|---|---|
| Article number | 14 |
| Journal | ACM Transactions on Computational Logic |
| Volume | 18 |
| Issue number | 2 |
| Number of pages | 50 |
| ISSN | 1529-3785 |
| DOIs | |
| Publication status | Published - Jun 2017 |
- Constrained term rewriting, inductive theorem proving, rewriting induction, lemma generation, program analysis
Research areas
Links
- http://arxiv.org/pdf/1409.0166
Submitted manuscript
ID: 183637280