Applications of Hierarchical Verification in Model Checking

Robert Beers, Rajnish Ghughal, Mark Aagaard. Applications of Hierarchical Verification in Model Checking. In Warren A. Hunt Jr., Steven D. Johnson, editors, Formal Methods in Computer-Aided Design, Third International Conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings. Volume 1954 of Lecture Notes in Computer Science, Springer, 2000. [doi]

Abstract

Abstract is missing.