Modular abstractions for verifying real-time distributed systems Hana De-LeonOrna Grumberg OriginalPaper Pages: 7 - 43
On the comparison of HOL and Boyer-Moore for formal hardware verification C. M. AngeloD. VerkestD. H. De Man OriginalPaper Pages: 45 - 72
Gate-delay-fault testability properties of multiplexor-based networks Pranav AsharSrinivas DevadasKurt Keutzer OriginalPaper Pages: 93 - 112