Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking.

Sebastian Kupferschmid, Klaus Drger, Jrg Hoffmann, Bernd Finkbeiner, Henning Dierks, Andreas Podelski, Gerd Behrmann

Browse the full TACAS paper archive.