Industrial hardware and software verification with ACL2 von Hunt, Warren A., Kaufmann, Matt, Moore, J Strother, Slobodova, Anna

Volltext

Limited Second-Order Functionality in a First-Order Setting von Kaufmann, Matt, Moore, J Strother

Volltext

Advances in ACL2 Proof Debugging Tools von Kaufmann, Matt, Moore, J Strother

Volltext

Iteration in ACL2 von Kaufmann, Matt, Moore, J Strother

Volltext

Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4 von Kaufmann, Matt, Moore, J Strother

Volltext

Formal Verification of Floating-Point Hardware Design: A Mathematical Approach von Russinoff, David M, Moore, J. Strother

Volltext

VWSIM: A Circuit Simulator von Hunt, Warren A., Ramanathan, Vivek, Moore, J Strother

Volltext

Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1 von Kaufmann, Matt, Moore, J Strother

Volltext

How Can I Do That with ACL2? Recent Enhancements to ACL2 von Kaufmann, Matt, Moore, J Strother

Volltext

Stateman: Using Metafunctions to Manage Large Terms Representing Machine States von Moore, J Strother

Volltext

Milestones from the Pure Lisp theorem prover to ACL2 von Moore, J. Strother

Volltext

Advances in ACL2 Proof Debugging Tools von Kaufmann, Matt, J Strother Moore

Volltext

Machines Reasoning About Machines: 2015 von Moore, J Strother

Volltext

Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications: Extended Abstract: Iteration in ACL2, WITH .. DO von Kaufmann, Matt, Moore, J Strother

Volltext

Rewriting with Equivalence Relations in ACL2 von Brock, Bishop, Kaufmann, Matt, Moore, J Strother

Volltext

Theorem Proving for Verification: The Early Days von Moore, J Strother

Volltext

On the desirability of mechanizing calculational proofs von Manolios, Panagiotis, Moore, J Strother

Volltext

Integrating external deduction tools with ACL2 von Kaufmann, Matt, J Strother Moore, Ray, Sandip, Reeber, Erik

Volltext

Proof Pearl: Proving a Simple Von Neumann Machine Turing Complete von Moore, J Strother

Volltext

Java Program Verification via a JVM Deep Embedding in ACL2 von Liu, Hanbing, Moore, J. Strother

Volltext