Formal verification methods: getting around the brick wall.

David L. Dill, Nate James, Shishpal Rawat, Grard Berry, Limor Fix, Harry Foster, Rajeev K. Ranjan, Gunnar Stlmarck, Curt Widdoes

Browse the full DAC paper archive.