Solving quantified verification conditions using satisfiability modulo theories (Q1037401)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Solving quantified verification conditions using satisfiability modulo theories
scientific article

    Statements

    Solving quantified verification conditions using satisfiability modulo theories (English)
    0 references
    0 references
    0 references
    0 references
    16 November 2009
    0 references
    first-order automated theorem proving
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers