Author:
Dillinger Peter C.,Manolios Panagiotis,Vroon Daron,Moore J. Strother
Subject
General Computer Science,Theoretical Computer Science
Reference11 articles.
1. A generic approach to building user interfaces for theorem provers;Bertot;Journal of Symbolic Computation,1998
2. A Computational Logic Handbook;Boyer,1997
3. Computer-Aided Reasoning: ACL2 Case Studies,2000
4. Computer-Aided Reasoning: An Approach;Kaufmann,2000
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Model-Driven Analysis of Resilience of GossipSub to Attacks from Misbehaving Peers;2024 IEEE Symposium on Security and Privacy (SP);2024-05-19
2. Proving Calculational Proofs Correct;Electronic Proceedings in Theoretical Computer Science;2023-11-14
3. Automated Grading of Automata with ACL2s;Electronic Proceedings in Theoretical Computer Science;2023-03-10
4. A Formal Analysis of Karn’s Algorithm;Networked Systems;2023
5. Using ACL2 To Teach Students About Software Testing;Electronic Proceedings in Theoretical Computer Science;2022-05-24