Skip to content
STIMSMITH

Theorem Proving

Technique
First seen 6/8/2026
Last seen 7/16/2026
Evidence 9 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

5 connections
Formal Verification ← uses 91% 2e
Theorem proving is used as part of formal verification for complete processor verification.
Advanced Automation in Formal Verification of Processors ← mentions 85% 1e
The paper mentions theorem proving as an alternative approach for processor verification.
PVS Theorem Prover uses → 97% 1e
PVS theorem prover is used for gate-level verification of the VAMP processor.
A Methodology for Validation of Microprocessors using Equivalence Checking ← mentions 95% 1e
The paper mentions theorem proving as a related formal verification technique.
RISC-V Formal: A Framework for Formal Specification and Verification of RISC-V ISA ← uses 97% 1e
The paper demonstrated the viability of using theorem proving tools like Coq to verify RISC-V instruction behaviors.