DocumentCode
500785
Title
Regression verification
Author
Godlin, Benny ; Strichman, Ofer
Author_Institution
CS, Technion - Israel Inst. of Technol., Haifa, Israel
fYear
2009
fDate
26-31 July 2009
Firstpage
466
Lastpage
471
Abstract
Proving the equivalence of successive, closely related versions of a program has the potential of being easier in practice than functional verification, although both problems are undecidable. There are two main reasons for this claim: it circumvents the problem of specifying what the program should do, and in many cases it is computationally easier. We study theoretical and practical aspects of this problem, which we call regression verification.
Keywords
formal specification; formal verification; functional verification; program proving; program specification; regression verification; Automatic testing; Computational modeling; Computer science; Delay; Formal verification; Hardware; Optimization; Programming; Software testing; Equivalence checking; Software verification;
fLanguage
English
Publisher
ieee
Conference_Titel
Design Automation Conference, 2009. DAC '09. 46th ACM/IEEE
Conference_Location
San Francisco, CA
ISSN
0738-100X
Print_ISBN
978-1-6055-8497-3
Type
conf
Filename
5227039
Link To Document