activity
20202024
most citedVerified Implementation of an Efficient Term-Rewriting Algorithm for Multiplier Verification on ACL2

3 citations · 5 across the 3 of their papers we have counts for

collaborators
Showing 2020Show all

1 paper · 1 filter

cs.LO2020★ 2 cited

RP-Rewriter: An Optimized Rewriter for Large Terms in ACL2

Mertcan Temel

RP-Rewriter (Retain-Property) is a verified clause processor that can use some of the existing ACL2 rewrite rules to prove conjectures through term rewriting. Optimized for conject…