An Enhanced Equivalence Checking Method to Handle Bugs in Programs with Recurrences
Abstract & Figures
Sorry, we couldn't extract an abstract for this paper.
Formal equivalence checking
Figures and Tables
Sorry, we couldn't extract any figures or tables for this paper.
Sorry, we couldn't extract any citations for this paper.
Sorry, we couldn't extract any references for this paper.
Loading similar papers…
Slides referencing similar topics
Equivalence Checking of Static Affine Programs using Widening to Handle Recurrences
Sven Verdoolaege + 2 • Jan 09, 2016
Equivalence Checking of Array-Intensive Programs
C. Karfa + 3 • Jan 15, 2016
Sequential Equivalence Checking - I
Virendra Singh • Nov 29, 2017