Publications and presentations
For any questions please address: Maor veitsman
or Ofer Strichman
Regression Verification Tool (RVT)
RVT attemts to prove the I/O equivalence, and mutual termination, of similar programs.
Insert two versions of a C program below, or choose an example from the drop-down menu on the right.
Separate base case
RVT is ready to use
Semantic check was not performed
Semantic check performed
Green Fill Color
Functions are semantically equivalent
White Fill Color
Could not prove semantical equivalence.
Blue Line Color
Functions are syntactically equivalent
Black Line Color
Functions are not syntactically equivalent