Formal verification: is it real enough?

Yaron Wolfsthal, Rebecca M. Gott

Browse the full DAC paper archive.