Correspondence Checking
TechniqueFirst seen 6/18/2026
Last seen 6/18/2026
Evidence 5 chunks
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
3 connections Verification of Pipelined Microprocessors by Correspondence Checking in Symbolic Ternary Simulation ← uses 100% 2e
The paper uses correspondence checking as one of the two forms of verification.
Correspondence checking uses the commutative diagram as its correctness criterion.
Correspondence checking applies memory shadowing to maintain consistent initial memory states.