default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACL2 2018: Austin, Texas, USA
- Shilpi Goel, Matt Kaufmann:
Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications, Austin, Texas, USA, November 5-6, 2018. EPTCS 280, 2018 - Alessandro Coglio:
A Simple Java Code Generator for ACL2 Based on a Deep Embedding of ACL2 in Java. 1-17 - Mihir Parang Mehta:
Formalising Filesystems in the ACL2 Theorem Prover: an Application to FAT32. 18-29 - David A. Greve, Andrew Gacek:
Trapezoidal Generalization over Linear Constraints. 30-46 - Sol Swords
:
Incremental SAT Library Integration Using Abstract Stobjs. 47-60 - David S. Hardin, Konrad Slind:
Using ACL2 in the Design of Efficient, Verifiable Data Structures for High-Assurance Systems. 61-76 - Alessandro Coglio, Shilpi Goel:
Adding 32-bit Mode to the ACL2 Model of the x86 ISA. 77-94 - Ruben Gamboa, John R. Cowles:
The Fundamental Theorem of Algebra in ACL2. 98-110 - Carl Kwan, Mark R. Greenstreet:
Real Vector Spaces and the Cauchy-Schwarz Inequality in ACL2(r). 111-127 - Carl Kwan, Mark R. Greenstreet:
Convex Functions in ACL2(r). 128-142 - Yan Peng, Mark R. Greenstreet:
Smtlink 2.0. 143-160 - Matt Kaufmann:
DefunT: A Tool for Automating Termination Proofs by Using the Community Books (Extended Abstract). 161-163 - Sol Swords:
Hint Orchestration Using ACL2's Simplifier. 164-171
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-30 21:07 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
