research
∙
05/24/2022
VWSIM: A Circuit Simulator
VWSIM is a circuit simulator for rapid, single-flux, quantum (RSFQ) circ...
research
∙
09/29/2020
Iteration in ACL2
Iterative algorithms are traditionally expressed in ACL2 using recursion...
research
∙
06/06/2014
Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4
We report on improvements to ACL2 made since the 2013 ACL2 Workshop....
research
∙
09/24/2013
Automation of Mathematical Induction as part of the History of Logic
We review the history of the automation of mathematical induction...
research
∙
04/30/2013