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

Mon, 01 Jan 2007 00:00:00 +0100

Sebastian Kupferschmid, Klaus Dräger, Jörg Hoffmann, Bernd Finkbeiner, Henning Dierks, Andreas Podelski, Gerd Behrmann:
Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking. TACAS 2007: 679-682