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