Symbolic predictive analysis for concurrent programs (Q432146)

From MaRDI portal
Revision as of 04:02, 30 January 2024 by Import240129110155 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Symbolic predictive analysis for concurrent programs
scientific article

    Statements

    title
    Symbolic predictive analysis for concurrent programs (English)
    0 references
    author
    Chao Wang
    0 references
    Sudipta Kundu
    0 references
    Rhishikesh Limaye
    0 references
    Malay K. Ganai
    0 references
    Aarti Gupta
    0 references
    publication date
    3 July 2012
    0 references
    zbMATH Keywords
    concurrent trace program
    0 references
    predictive analysis
    0 references
    happens-before
    0 references
    context bounding
    0 references
    SMT
    0 references
    SAT
    0 references

    Identifiers

    zbMATH DE Number
    6052555
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q432146&oldid=12308412"
    Powered by MediaWiki