DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» ACL2
ACL2
Formal Verification of Eccs for Memories Using ACL2
Creating Formally Verified Components for Layered
Checking Nuprl Proofs in ACL2: a Progress Report
How Lisp Systems Look Different in Proceedings of European Conference on Software Maintenance and Reengineering (CSMR 2008)
Industrial Hardware and Software Verification with ACL2
Accessible Formal Methods for Verified Parser Development
Software Verification with ACL2
Recent Enhancements to ACL2
An ACL2 Tutorial
ACL2 in Drscheme
Iteration in ACL2
Formal Verification of Arithmetic
Formal Compiler Verification with ACL2
ACL2 Meets the GPU: Formalizing a CUDA-Based Parallelizable All-Pairs Shortest Path Algorithm in ACL2
9 European Lisp Symposium
Proof Pad: a New Development Environment for ACL2
Industrial Hardware and Software Verification
Efficient Execution in an Automated Reasoning Environment
Top View
Design Goals for ACL2
Hacking and Extending ACL2∗
Formal Verification of Arithmetic RTL: Translating Verilog to C++ to ACL2
Development of a Translator from LLVM to ACL2∗
Modular Proof Development in ACL2
9 European Lisp Symposium
Embedding ACL2 Models in End-User Applications
Printer Friendly
Efficient, Verified Checking of Propositional Proofs⋆
Secure Content Distribution Using Untrusted Servers Kevin Fu
Milestones from the Pure Lisp Theorem Prover to ACL2 Draft 4 – 5 March, 2019
An Industrial Strength Theorem Prover for a Logic Based on Common Lisp
Reasoning About LLVM Code Using Codewalker
Formal Verification of Eccs for Memories Using
A Simple Java Code Generator for ACL2 Based on a Deep Embedding of ACL2 in Java
Review of Fundamental Proof Methods in Computer Science: a Computer-Based Approach
A Bibliography of Publications About Common Lisp
Hygienic Macros for ACL2
Aachen Department of Computer Science Technical Report
EPTCS 192 ACL2 Theorem Prover and Its Applications
Formal Verification of Division and Square Root Implementations, an Oracle Report
This Old Lisp
Practical Formal Verification of Domain-Specific Language
Using the ACL2 System
The Acl2s Programming Language Allows Us to Design Programs That Manipulate Objects from the Acl2s Universe
Logical Foundations for the ACL2 Theorem Prover
Lista.Txt Thu Jan 01 10:19:02 2015 1 0Ad-Data 2Ping 2Vcard 389
Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions
Functional Programming and Theorem Proving for Undergraduates: a Progress Report
A Verified Common Lisp Implementation of Buchberger's
Proof and Program Parallelism with ACL2(P)
Reverse Engineering Techniques for Lisp Systems
An Embedding of the ACL2 Logic in HOL
Partial Functions in ACL2
Polymorphism in ACL2