Constrained proofs: a logic for dealing with behavioural constraints in formal hardware verification (1990)

by M Mendler
Venue:Proceedings of Workshop on Designing Correct Circuits