Chandrasekhar Boyapati Paul T. Darga Efficient Software Model Checking of Data Structure Properties. 2006 Directed Model Checking http://drops.dagstuhl.de/opus/volltexte/2007/945 conf/dagstuhl/2006P6172 db/conf/dagstuhl/P6172.html#BoyapatiD06