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