Experimental Analysis of Different Techniques for Bounded Model Checking.

Nina Amla, Robert P. Kurshan, Kenneth L. McMillan, Ricardo H. Medel

Browse the full TACAS paper archive.