"Proof-Carrying Hardware via IC3."

Tobias Isenberg, Heike Wehrheim (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics