Skip to content
STIMSMITH

Burch-Dill Flushing Refinement

Concept
First seen 8/18/2026
Last seen 8/18/2026
Evidence 2 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

2 connections
ISA-Formal ← uses 85% 2e
ISA-Formal builds upon Burch-Dill flushing refinement from the academic community.
End-to-End Verification of ARM Processors with ISA-Formal ← mentions 100% 1e
The paper mentions Burch-Dill flushing refinement as foundational prior work.