An exercise in the automatic verification of asynchronous designs Andrew BaileyGeorge A. MccaskillGeorge J. Milne OriginalPaper Pages: 213 - 242
Assisting requirement formalization by means of natural language translation A. FantechiS. GnesiP. Moreschini OriginalPaper Pages: 243 - 263
Gordon's computer: A hardware verification case study in OBJ3 Victoria Stavridou OriginalPaper Pages: 265 - 310