Equivalence Checking Problem: 1953 - 2011 (survey)
This RiSE Seminar Talk was held by Vladimir Zakharov on May 31st, 2012.
|DATE:||Thursday, May 31, 2012|
|VENUE:||Seminar room Zemanek, Favoritenstraße 9-11 (ground floor), 1040 Vienna|
Equivalence checking problem is that of verifying whether two given programs have the same behavior. By formalizing the terms "program" and "behavior" in different bases, we obtain numerous variants of this problem. It has been always regarded as one of the most fundamental problems in computer science which has a wide range of applications in software engineering. The talk provides a comprehensive survey of significant achievements in the study of equivalence checking problem for various models of programs since the early 50-s XX.