Abstraction-Based Partial Deduction for Solving Inverse Problems -- A Transformational Approach to Software Verification (Extended Abstract) (2000)
by
Robert Glück
,
Michael Leuschel
| Citations: | 16 - 11 self |
BibTeX
@MISC{Glück00abstraction-basedpartial,
author = {Robert Glück and Michael Leuschel},
title = {Abstraction-Based Partial Deduction for Solving Inverse Problems -- A Transformational Approach to Software Verification (Extended Abstract)},
year = {2000}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We present an approach to software verification by program inversion, exploiting recent progress in the field of automatic program transformation, partial deduction and abstract interpretation. Abstraction-based partial deduction can work on infinite state spaces and produce finite representations of infinite solution sets. We illustrate the potential of this approach for infinite mo...
