Directed model checking with distance-preserving abstractions.

Thu, 01 Jan 2009 00:00:00 +0100

Klaus Dräger, Bernd Finkbeiner, Andreas Podelski:
Directed model checking with distance-preserving abstractions. Int. J. Softw. Tools Technol. Transf. 11(1): 27-37 (2009)