research
∙
05/23/2022
Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications
This volume contains a selection of papers presented at the 17th Interna...
share
research
∙
09/29/2020
Computing and Proving Well-founded Orderings through Finite Abstractions
A common technique for checking properties of complex state machines is ...
research
∙
12/21/2019
Verifying x86 Instruction Implementations
Verification of modern microprocessors is a complex task that requires a...
research
∙
10/10/2018
