DefunT: A Tool for Automating Termination Proofs by Using the Community Books (Extended Abstract) von Kaufmann, Matt

Volltext

Meta-extract: Using Existing Facts in Meta-reasoning von Kaufmann, Matt, Swords, Sol

Volltext

A Versatile, Sound Tool for Simplifying Definitions von Coglio, Alessandro, Kaufmann, Matt, Smith, Eric W.

Volltext

Industrial-Strength Documentation for ACL2 von Davis, Jared, Kaufmann, Matt

Volltext

Integrating Testing and Interactive Theorem Proving von Chamarthi, Harsh Raju, Dillinger, Peter C., Kaufmann, Matt, Manolios, Panagiotis

Volltext

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

Volltext

Fourier Series Formalization in ACL2(r) von Chau, Cuong K., Kaufmann, Matt, Hunt, Warren A.

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

Abstract Stobjs and Their Application to ISA Modeling von Goel, Shilpi, Hunt, Warren A, Kaufmann, Matt

Volltext

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

Volltext

A Pipestone Pendant in Jackson County, Iowa von Kaufmann, Matt

Volltext

Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications: Preface von Goel, Shilpi, Kaufmann, Matt

Volltext

On the Formalization of the Lebesgue Integration Theory in HOL von Mhamdi, Tarek, Hasan, Osman, Tahar, Sofiène

Volltext

Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications: Extended Abstract: Stobj-tables von Kaufmann, Matt, Sumners, Rob, Swords, Sol

Volltext

Advances in ACL2 Proof Debugging Tools 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

Largest initial segments pointwise fixed by automorphisms of models of set theory von Enayat, Ali, Kaufmann, Matt, McKenzie, Zachiri

Volltext

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

Volltext

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

Volltext

Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder von Blanchette, Jasmin Christian, Nipkow, Tobias

Volltext