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