Developments in verification of design correctness (A Tutorial)

Wendell E. Cory, William M. van Cleemput. Developments in verification of design correctness (A Tutorial). In Edwin B. Hassler Jr., editor, Proceedings of the 17th Design Automation Conference, DAC '80, Minneapolis, Minnesota, USA, June 23-25, 1980. pages 156-164, ACM/IEEE, 1980. [doi]

Abstract

Abstract is missing.