19th ACL2 ACL2 2025: Austin, TX, USA

> Home > Conferences and Workshops > ACL2

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2507-18567
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2507-18567
Ruben Gamboa, Panagiotis Manolios:
Proceedings 19th International Workshop on the ACL2 Theorem Prover and Its Applications, Austin, TX, 12-13 May, 2025. EPTCS 423, 2025
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2507-19006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2507-19006
David M. Russinoff:
A Formalization of Elementary Linear Algebra: Part I. 1-18
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2507-19007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2507-19007
David Russinoff:
A Formalization of Elementary Linear Algebra: Part II. 19-35
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2507-19008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2507-19008
Grant Jurgensen:
A Proof of the Schröder-Bernstein Theorem in ACL2. 36-45
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2507-19009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2507-19009
Carl Kwan:
RV32I in ACL2. 46-50
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2507-19010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2507-19010
Mayank Manjrekar:
On Automating Proofs of Multiplier Adder Trees using the RTL Books. 51-55
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2508-00015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2508-00015
Matt Kaufmann, J Strother Moore:
Extended Abstract: Partial-encapsulate and Its Support for Floating-point Operations in ACL2. 56-59
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2508-00016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2508-00016
Matt Kaufmann, Yahya Sohail, Warren A. Hunt Jr.:
Extended Abstract: Mutable Objects with Several Implementations. 60-64
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2507-19012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2507-19012
Alessandro Coglio, Eric McCarthy:
A Formalization of the Yul Language and Some Verified Yul Code Transformations. 65-83
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2507-19013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2507-19013
Ankit Kumar, Panagiotis Manolios:
A Formalization of the Correctness of the Floodsub Protocol. 84-103
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2507-19014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2507-19014
Andrew T. Walter, Panagiotis Manolios:
An ACL2s Interface to Z3. 104-123
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2507-19015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2507-19015
Samuel Xifaras, Panagiotis Manolios, Andrew T. Walter, William Robertson:
An Enumerative Embedding of the Python Type System in ACL2s. 124-144

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.