Advances in ACL2 Proof Debugging Tools.

Matt Kaufmann J Strother Moore

Published in: CoRR (2023)

Keyphrases

user friendly
software tools
end users
decision support
recent advances
recent developments
program understanding
real time
databases
information retrieval
software testing