Title :
Regression verification
Author :
Godlin, Benny ; Strichman, Ofer
Author_Institution :
CS, Technion - Israel Inst. of Technol., Haifa, Israel
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;
Conference_Titel :
Design Automation Conference, 2009. DAC '09. 46th ACM/IEEE
Conference_Location :
San Francisco, CA
Print_ISBN :
978-1-6055-8497-3
