Bebop: A symbolic model checker tbr Boolean programs (2000)

by T Ball, S K ttajamani
Venue:In SPIN 00: SPIN Workshop, LNCS 1885