Directed Model Checking with Distance-Preserving Abstractions.

Klaus Dräger Bernd Finkbeiner Andreas Podelski Directed Model Checking with Distance-Preserving Abstractions. 19-34 2006 conf/spin/2006 SPIN http://dx.doi.org/10.1007/11691617_2 db/conf/spin/spin2006.html#DragerFP06