Formal analysis of correctness of behavioral transformations Michael C. McFarland OriginalPaper Pages: 231 - 257
A unified framework for describing and verifying hardware synchronous sequential systems Ghislaine ThuauBachir Berkane OriginalPaper Pages: 259 - 276
Test case verification by model checking Kshirasagar NaikBehcet Sarikaya OriginalPaper Pages: 277 - 321