Automatic analysis of DMA races using model checking and \(k\)-induction (Q763238)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Automatic analysis of DMA races using model checking and \(k\)-induction
scientific article

    Statements

    Automatic analysis of DMA races using model checking and \(k\)-induction (English)
    0 references
    0 references
    0 references
    0 references
    9 March 2012
    0 references
    0 references
    0 references
    0 references
    0 references
    model checking
    0 references
    \(k\)-induction
    0 references
    DMA
    0 references
    multicore programming
    0 references
    Cell BE
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references