Directed Model Checking with Distance-Preserving Abstractions.

Sun, 01 Jan 2006 00:00:00 +0100

Klaus Dräger, Bernd Finkbeiner, Andreas Podelski:
Directed Model Checking with Distance-Preserving Abstractions. SPIN 2006: 19-34