"The application of program verification techniques to hardware verification."

John A. Darringer (1979)
a service of Schloss Dagstuhl - Leibniz Center for Informatics