Proceedings 19th International Workshop on the ACL2 Theorem Prover and Its Applications
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866913959058079744 |
|---|---|
| author | Gamboa, Ruben Manolios, Panagiotis |
| author_facet | Gamboa, Ruben Manolios, Panagiotis |
| contents | The ACL2 Workshop series is the major technical forum for users of the ACL2 theorem proving system to present research related to the ACL2 theorem prover and its applications. ACL2 is an industrial-strength automated reasoning system, the latest in the Boyer-Moore family of theorem provers. The 2005 ACM Software System Award was awarded to Boyer, Kaufmann, and Moore for their work on ACL2 and the other theorem provers in the Boyer-Moore family. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2507_18567 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Proceedings 19th International Workshop on the ACL2 Theorem Prover and Its Applications Gamboa, Ruben Manolios, Panagiotis Logic in Computer Science Artificial Intelligence The ACL2 Workshop series is the major technical forum for users of the ACL2 theorem proving system to present research related to the ACL2 theorem prover and its applications. ACL2 is an industrial-strength automated reasoning system, the latest in the Boyer-Moore family of theorem provers. The 2005 ACM Software System Award was awarded to Boyer, Kaufmann, and Moore for their work on ACL2 and the other theorem provers in the Boyer-Moore family. |
| title | Proceedings 19th International Workshop on the ACL2 Theorem Prover and Its Applications |
| topic | Logic in Computer Science Artificial Intelligence |
| url | https://arxiv.org/abs/2507.18567 |