Skip to content
STIMSMITH

ISA-Formal

Tool
First seen 7/3/2026
Last seen 7/3/2026
Evidence 1 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

4 connections
Formal Verification of Processors implements → 98% 1e
ISA-Formal is a tool for end-to-end formal verification of ARM processors.
End-to-End Verification of ARM Processors with ISA-Formal (reid:cav:2016) ← introduces 97% 1e
The paper introduces ISA-Formal for end-to-end verification of ARM processors.
ARM Architecture evaluates → 97% 1e
ISA-Formal is used to verify ARM processors.
ISA specification uses → 95% 1e
ISA-Formal uses ISA specifications as the basis for verification.