353 citations · 354 across the 4 of their papers we have counts for
1 paper · 1 filter
Yan Peng, Mark R. Greenstreet
Smtlink is an extension of ACL2 with Satisfiability Modulo Theories (SMT) solvers. We presented an earlier version at ACL2'2015. Smtlink 2.0 makes major improvements over the initi…