Mechanically Verifying Concurrent Programs with the Boyer-Moore Prove
IEEE Transactions on Software Engineering
Termination of Nested and Mutually Recursive Algorithms
Journal of Automated Reasoning
Nonconstructive Computational Mathematics
Journal of Automated Reasoning
A Mechanization of Unity in PC-NQTHM-92
Journal of Automated Reasoning
Induction Proofs with Partial Functions
Journal of Automated Reasoning
Implementing a cost-aware evaluator for ACL2 expressions
ACL2 '06 Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications
Strategic Issues, Problems and Challenges in Inductive Theorem Proving
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |