Efficient SAT-based bounded model checking for software verification (Q947794)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Efficient SAT-based bounded model checking for software verification
scientific article

    Statements

    Efficient SAT-based bounded model checking for software verification (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    7 October 2008
    0 references
    software verification
    0 references
    bounded model checking
    0 references
    SAT-based model checking
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers