Proceedings - 17th International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2022

被引：0
|
作者：
机构：
来源：
Electronic Proceedings in Theoretical Computer Science, EPTCS | 2022年 / 359卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Formalizing rewriting in the ACL2 theorem prover
    Ruiz-Reina, JL
    Alonso, JA
    Hidalgo, MJ
    Martín-Mateos, FJ
    ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION, 2001, 1930 : 92 - 106
  • [2] Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications Vienna, Austria, 12-13th July 2014 Preface
    Verbeek, Freek
    Schmaltz, Julien
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (152):
  • [3] Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications Austin, Texas, USA, November 5-6, 2018 Preface
    Goel, Shilpi
    Kaufmann, Matt
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2018, (280):
  • [4] Milestones from the Pure Lisp theorem prover to ACL2
    Moore, J. Strother
    FORMAL ASPECTS OF COMPUTING, 2019, 31 (06) : 699 - 732
  • [5] ACL2
    Gamboa, R
    SEVENTEEN PROVERS OF THE WORLD, 2006, 3600 : 55 - 66
  • [6] The Fundamental Theorem of Algebra in ACL2
    Gamboa, Ruben
    Cowles, John
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2018, (280): : 98 - 110
  • [7] ACL2(ml): Machine-Learning for ACL2
    Heras, Jonathan
    Komendantskaya, Ekaterina
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (152): : 61 - 75
  • [8] ACL2
    Lect. Notes Comput. Sci., 2006, (55-66):
  • [9] Android Platform Modeling and Android App Verification in the ACL2 Theorem Prover
    Smith, Eric
    Coglio, Alessandro
    VERIFIED SOFTWARE: THEORIES, TOOLS, AND EXPERIMENTS, 2016, 9593 : 183 - 201
  • [10] Formalising Filesystems in the ACL2 Theorem Prover: an Application to FAT32
    Mehta, Mihir Parang
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2018, (280): : 18 - 29
12345