Automating Most Parts of Hardware Proofs in HOL
Authors:
Klaus Schneider;Ramayya Kumar;Thomas Kropf
Affiliations:
-;-;-
Venue:
CAV '91 Proceedings of the 3rd International Workshop on Computer Aided Verification
Year:
1991
Citing
0
Cited
1
Reasoning Theories
Journal of Automated Reasoning
Quantified Score
Hi-index
0.00
Visualization
Abstract