A formalisation of \textsc{xMAS}

DOI10.4204/EPTCS.114.9zbMATH Open1542.68236MaRDI QIDQ6587257

Bernard van Gastel, Julien Schmaltz

Publication date: 13 August 2024

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical problems of computer architecture (68M07) Formalization of mathematics in connection with theorem provers (68V20)

Cites Work

• Automatic generation of inductive invariants from high-level microarchitectural models of communication fabrics
• A functional formalization of on chip communications
• Verifying Deadlock-Freedom of Communication Fabrics

This page was built for publication: A formalisation of \textsc{xMAS}

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6587257)