Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Predicate extension of symbolic memory graphs for the analysis of memory safety correctness - MaRDI portal

Predicate extension of symbolic memory graphs for the analysis of memory safety correctness (Q2226974)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Predicate extension of symbolic memory graphs for the analysis of memory safety correctness
scientific article

    Statements

    title
    Predicate extension of symbolic memory graphs for the analysis of memory safety correctness (English)
    0 references
    author
    V. S. Mutilin
    0 references
    Aleksey A. Vasiliev
    0 references
    publication date
    9 February 2021
    0 references
    describes a project that uses
    BLAST
    0 references
    VeriFast
    0 references
    CompCert
    0 references
    SLAM
    0 references
    CPAchecker
    0 references
    SLAyer
    0 references
    seL4
    0 references

    Identifiers

    zbMATH DE Number
    7308261
    0 references
    OpenAlex ID
    W3006243345
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2226974&oldid=37082229"
    Powered by MediaWiki