A linear-time model-checking algorithm for the alternation-free modal mu-calculus Rance CleavelandBernhard Steffen OriginalPaper Pages: 121 - 147
Gate-delay-fault testability properties of multiplexor-based networks Pranav AsharSrinivas DevadasKurt Keutzer OriginalPaper Pages: 93 - 112
On the comparison of HOL and Boyer-Moore for formal hardware verification C. M. AngeloD. VerkestD. H. De Man OriginalPaper Pages: 45 - 72
Modular abstractions for verifying real-time distributed systems Hana De-LeonOrna Grumberg OriginalPaper Pages: 7 - 43
Minimum and maximum delay problems in real-time systems Costas CourcoubetisMihalis Yannakakis OriginalPaper Pages: 385 - 415
Verification of a multiprocessor cache protocol using simulation relations and higher-order logic Paul N. LoewessteinDavid L. Dill OriginalPaper Pages: 355 - 383
Compositional checking of satisfaction Henrik Reif AndersenGlynn Winskel OriginalPaper Pages: 323 - 354
Memory-efficient algorithms for the verification of temporal properties C. CourcoubetisM. VardiM. Yannakakis OriginalPaper Pages: 275 - 288
On-the-fly verification of finite transition systems Jean-Claude FernandezLaurent MounierThierry Jéron OriginalPaper Pages: 251 - 273
Asynchronous datapaths and the design of an asynchronous adder Alain J. Martin OriginalPaper Pages: 117 - 137
Probabilistic verification of Boolean functions Jawahar JainJacob A. AbrahamDonald S. Fussell OriginalPaper Pages: 61 - 115
Specification and automatic verification of self-timed queues David L. DillSteven M. NowickRobert F. Sproull OriginalPaper Pages: 29 - 60
A model for synchronous switching circuits and its theory of correctness Chaochen ZhouC. A. R. Hoare OriginalPaper Pages: 7 - 28