Abstraction of hardware construction

DOI10.1007/3-540-61254-8_30zbMath1407.68048OpenAlexW1841475614MaRDI QIDQ4645815

Michael Mendler, Liguo Wang

Publication date: 11 January 2019

Published in: Higher-Order Algebra, Logic, and Term Rewriting (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61254-8_30

zbMATH Keywords

formal verificationtheorem proverconstruction schemespecification schemeconstruction model

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical problems of computer architecture (68M07)

Uses Software

• HOL
• NQTHM

Cites Work

• Correct hardware design and verification methods. IFIP WG10.2 Advanced research working conference, CHARME '93, Arles, France, May 24-26, 1993. Proceedings
• FM8501: a verified microprocessor
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Abstraction of hardware construction