Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

18th ACL2 2023: Austin, TX, USA / online

> 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-2311-08373
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-08373
Alessandro Coglio, Sol Swords:
Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications, Austin, TX, USA and online, November 13-14, 2023. EPTCS 393, 2023
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-08866
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-08866
David M. Russinoff:
A Formalization of Finite Group Theory: Part II. 16-32
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-08854
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-08854
David M. Russinoff:
A Formalization of Finite Group Theory: Part III. 33-49
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-08855
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-08855
Max von Hippel, Panagiotis Manolios, Kenneth L. McMillan, Cristina Nita-Rotaru, Lenore D. Zuck:
A Case Study in Analytic Protocol Analysis in ACL2. 50-66
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-08856
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-08856
Matt Kaufmann, J Strother Moore:
Advances in ACL2 Proof Debugging Tools. 67-81
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-08857
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-08857
Ruben Gamboa, Panagiotis Manolios, Eric Whitman Smith, Kyle Thompson:
Using Counterexample Generation and Theory Exploration to Suggest Missing Hypotheses. 82-93
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-08858
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-08858
Alessandro Coglio, Eric McCarthy, Eric W. Smith:
Formal Verification of Zero-Knowledge Circuits. 94-112
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-08859
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-08859
Ankit Kumar, Max von Hippel, Panagiotis Manolios, Cristina Nita-Rotaru:
Verification of GossipSub in ACL2s. 113-132
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-08860
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-08860
Andrew T. Walter, Ankit Kumar, Panagiotis Manolios:
Proving Calculational Proofs Correct. 133-150
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-08861
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-08861
Grant O. Passmore:
ACL2 Proofs of Nonlinear Inequalities with Imandra. 151-160
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-08862
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-08862
David S. Hardin:
Verification of a Rust Implementation of Knuth's Dancing Links using ACL2. 161-174

a service of

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.