An Industrial Strength Theorem Prover for a Logic Based on Common Lisp
IEEE Transactions on Software Engineering
A Mechanically Checked Proof of a Multiprocessor Result via a Uniprocessor View
Formal Methods in System Design
Towards a mechanically checked theory of computation: the ACL2 project
Logic-based artificial intelligence
Nonconstructive Computational Mathematics
Journal of Automated Reasoning
A Mechanization of Unity in PC-NQTHM-92
Journal of Automated Reasoning
Structured Theory Development for a Mechanized Logic
Journal of Automated Reasoning
Journal of Automated Reasoning
Journal of Automated Reasoning
Journal of Automated Reasoning
A Mechanical Analysis of Program Verification Strategies
Journal of Automated Reasoning
Rewriting with Equivalence Relations in ACL2
Journal of Automated Reasoning
TPHOLs '08 Proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics
Formal verification of LabVIEW programs using the ACL2 Theorem Prover
Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications
Second-order programs with preconditions
Verification, induction termination analysis
Second-order programs with preconditions
Verification, induction termination analysis
Verification condition generation via theorem proving
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Refinement and theorem proving
SFM'06 Proceedings of the 6th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems
Automated termination analysis for programs with second-order recursion
TACAS'10 Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Specification and Verification of Concurrent Programs Through Refinements
Journal of Automated Reasoning
Hi-index | 0.00 |