Skip to content
STIMSMITH

Coq

Tool
First seen 6/9/2026
Last seen 7/16/2026
Evidence 6 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

5 connections
RISC-V Formal: A Framework for Formal Specification and Verification of RISC-V ISA ← uses 97% 2e
The paper introduces a formal specification in Coq for the RISC-V ISA and demonstrates theorem proving with Coq.
AI-Assisted Proof Strategy Selection for RISC-V Formal Verification ← uses 97% 2e
The paper uses machine learning to suggest verification strategies in Coq for RISC-V formal verification.
Scalable Formal Verification Strategies for RISC-V Based Control Paths: A Review ← uses 90% 2e
The review discusses Coq-based frameworks for ISA-level verification as foundational to scalable RISC-V verification.
rtlv ← mentions 90% 1e
rtlv cannot bridge its proofs to Coq for end-to-end metatheory proofs.
AI-Assisted Verification ← uses 93% 1e
AI-assisted verification uses machine learning classifiers to select proof strategies in Coq.