Multiway Decision Graphs for Automated Hardware Verification F. CorellaZ. ZhouE. Cerny OriginalPaper Pages: 7 - 46
Another Look at LTL Model Checking Edmund M. ClarkeOrna GrumbergKiyoharu Hamaguchi OriginalPaper Pages: 47 - 71
Generating Validation Feedback for Automatic Interpretation of Informal Requirements W.R. CyreA. Thakar OriginalPaper Pages: 73 - 92
Formal Verification of a Distributed Computer System M. MerrittA. OrdaS.R Sachs OriginalPaper Pages: 93 - 125