Showing 1 - 4 results of 4 for search 'Basler, G', query time: 0.02s Refine Results
  1. 1
    A Complete Bounded Model Checking Algorithm for Pushdown Systems

    A Complete Bounded Model Checking Algorithm for Pushdown Systems by Basler, G, Kroening, D, Weissenbacher, G

    Published 2007
    Conference item
  2. 2
    SAT−based Summarisation for Boolean Programs

    SAT−based Summarisation for Boolean Programs by Basler, G, Kroening, D, Weissenbacher, G

    Published 2007
    Conference item
  3. 3
    Context-aware counter abstraction.

    Context-aware counter abstraction. by Basler, G, Mazzucchi, M, Wahl, T, Kroening, D

    Published 2010
    Journal article
  4. 4
    BOOM: Taking Boolean program model checking one step further

    BOOM: Taking Boolean program model checking one step further by Basler, G, Hague, M, Kroening, D, Ong, C, Wahl, T, Zhao, H

    Published 2010
    Conference item

Search Tools: