Reasoning about sequences of memory states (Q636268)

From MaRDI portal
Revision as of 09:20, 30 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Reasoning about sequences of memory states
scientific article

    Statements

    title
    Reasoning about sequences of memory states (English)
    0 references
    author
    Rémi Brochenin
    0 references
    Stéphane P. Demri
    0 references
    Etienne Lozes
    0 references
    publication date
    26 August 2011
    0 references
    zbMATH Keywords
    separation logic
    0 references
    temporal logic
    0 references
    Büchi automaton
    0 references
    computational complexity
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68N30
    0 references
    03B44
    0 references
    68Q60
    0 references
    zbMATH DE Number
    5943591
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q636268&oldid=12533628"
    Powered by MediaWiki