Bebop: A symbolic model checker for boolean programs. (2000)

by T Ball, S Rajamani
Venue:SPIN 2000. LNCS,