Now showing items 1-3 of 1

    predicate abstraction (1)
    program verification (1)
    shape analysis (1)