Skip to content
STIMSMITH

Who Guards the Guards? Formal Validation of the ARM v8-M Architecture Specification (reid:oopsla:2017)

Paper
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

2 connections
ARM Architecture evaluates → 97% 1e
The paper formally validates the ARM v8-M architecture specification.
Symbolic Execution for ISA Testing uses → 88% 1e
The paper uses symbolic execution to validate the ARM architecture specification.