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

Authors:
C. M. Angelo;D. Verkest;L. Claesen;H. De Man
Affiliations:
-;-;-;-
Venue:
Formal Methods in System Design
Year:
1993

Citing 0
Cited 3

The complexity of verification

STOC '94 Proceedings of the twenty-sixth annual ACM symposium on Theory of computing
Comparing HOL and MDG: a case study on the verification of an ATM switch fabric

Nordic Journal of Computing
Compositional verification of knowledge-based task models and problem-solving methods

Knowledge and Information Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract