FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs.

Curtis W. Keller, Diptikalyan Saha, Samik Basu, Scott A. Smolka

Browse the full TACAS paper archive.