Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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. In Orna Grumberg, Michael Huth, editors, Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedi. Volume 4424 of Lecture Notes in Computer Science, pages 679-682, Springer, 2007. [doi]

This author has not been identified. Look up 'Sebastian Kupferschmid' in GoogleThis author has not been identified. Look up 'Klaus Dräger' in GoogleThis author has not been identified. Look up 'Jörg Hoffmann' in GoogleThis author has not been identified. Look up 'Bernd Finkbeiner' in GoogleThis author has not been identified. Look up 'Henning Dierks' in GoogleThis author has not been identified. Look up 'Andreas Podelski' in GoogleThis author has not been identified. Look up 'Gerd Behrmann' in Google

runs on WebDSL