98 citations · 200 across the 15 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.SC2018
Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications
Shilpi Goel, Matt Kaufmann
This volume contains the proceedings of the Fifteenth International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2-2018), a two-day workshop held in Austin, Texas,…
cs.LO2018★ 2 cited
DefunT: A Tool for Automating Termination Proofs by Using the Community Books (Extended Abstract)
Matt Kaufmann
We present a tool that automates termination proofs for recursive definitions by mining existing termination theorems.