robby , cs pasareanu , w. visser , and h. zheng . tool-supported program abstraction for finite-state mb dwyer , j hatcliff , r joehanes , s laubach proceedings of the 23rd international conference on software