On the comparison of HOL and Boyer-Moore for formal hardware verification
From MaRDI portal
Publication:685100
DOI10.1007/BF01383943zbMath0875.68136OpenAlexW1963759927MaRDI QIDQ685100
L. Claesen, Catia M. Angelo, H. De Man, Diederik Verkest
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
Uses Software
Cites Work