TAME: Using PVS strategies for special-purpose theorem proving
Annals of Mathematics and Artificial Intelligence2000Vol. 29(1-4), pp. 139–181
Citations Over TimeTop 10% of 2000 papers
Related Papers
- → Source-Level Proof Reconstruction for Interactive Theorem Proving(2007)75 cited
- → Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving(2011)10 cited
- → A Verified Theorem Prover Backend Supported by a Monotonic Library(2018)3 cited
- → Comparison of Two Theorem Provers: Isabelle/HOL and Coq(2018)2 cited
- → Context-aware Generation of Proof Scripts for Theorem Proving(2020)