# Trustworthy specifications of ARM® v8-A and v8-M system level architecture

> Research article (2016 Formal Methods in Computer-Aided Design (FMCAD), 2016) · cited 44× · AI/ML

**Wikidata**: [openalex:W4239031877](https://www.wikidata.org/wiki/openalex:W4239031877)  
**Source**: https://4ort.xyz/entity/trustworthy-specifications-of-arm-v8-a-and-v8-m-system-level-architecture