Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads (Q3224694)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads
scientific article

    Statements

    Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads (English)
    0 references
    0 references
    0 references
    0 references
    2 April 2012
    0 references
    pushdown systems
    0 references
    program verification
    0 references
    reachability analysis
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references