Panel: Complex System Verification: The Challenge Ahead. - Ronald Collett; Mike Gianfagna; Michel Courtoy; Martin Baynes; Johan Van Ginderdeuren; Kenneth L. McMillan; Stephen Ricca; Alberto L. Sangiovanni-Vincentelli; Steve Sapiro; Naeem Zafar (DAC, 1994)