Lost in abstraction: monotonicity in multi-threaded programs (Q729809)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Lost in abstraction: monotonicity in multi-threaded programs
scientific article

    Statements

    Lost in abstraction: monotonicity in multi-threaded programs (English)
    0 references
    0 references
    0 references
    0 references
    22 December 2016
    0 references
    multi-threaded software
    0 references
    parameterized verification
    0 references
    monotonicity
    0 references
    predicate abstraction
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers