2 research outputs found

    Symbolic model checking with rich assertional languages

    Full text link
    corecore