Semi-formal Bounded Model Checking.

Jesse D. Bingham, Alan J. Hu

Browse the full CAV paper archive.