NIL: learning nonlinear interpolants (Q2305413)

From MaRDI portal
scientific article
Language Label Description Also known as
English
NIL: learning nonlinear interpolants
scientific article

    Statements

    NIL: learning nonlinear interpolants (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    10 March 2020
    0 references
    nonlinear Craig interpolant
    0 references
    counterexample-guided learning
    0 references
    program verification
    0 references
    support vector machines (SVMs)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers