Correctness properties of the Viper block model: the second level

Authors:
Avra Cohn
Affiliations:
-
Venue:
Current trends in hardware verification and automated theorem proving
Year:
1989

Citing 0
Cited 2

Design and verification of the Rollback Chip using HOP: a case study of formal methods applied to hardware design

ACM Transactions on Computer Systems (TOCS)
Formal verification in hardware design: a survey

ACM Transactions on Design Automation of Electronic Systems (TODAES)

Quantified Score

Hi-index	0.00

Visualization

Abstract