On the comparison of HOL and Boyer-Moore for formal hardware verification

DOI10.1007/BF01383943MaRDI QIDQ685100zbMATH OpenOpenAlexFDO

Authors L. Claesen, Catia M. Angelo, Diederik Verkest, H. De Man

Publication date 30 September 1993

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01383943

Mathematics Subject Classification ID

Computer system organization (68M99)

Cites work

• scientific article; zbMATH DE number 193479 (Why is no real title available?)
• FM8501: a verified microprocessor
• Logic programming and digital circuit analysis

Describes a project that uses

Uses Software

• Silage
• NQTHM

This page was built for publication: On the comparison of HOL and Boyer-Moore for formal hardware verification

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