Closed drganam closed 4 weeks ago
Adding benchmarks from our iFM'24 short paper: Proving Termination via Measure Transfer in Equivalence Checking.
Adding benchmarks from our iFM'24 short paper: Proving Termination via Measure Transfer in Equivalence Checking.