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
Program verification with interacting analysis plugins - MaRDI portal

Program verification with interacting analysis plugins (Q2642983)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Program verification with interacting analysis plugins
scientific article

    Statements

    title
    Program verification with interacting analysis plugins (English)
    0 references
    author
    Nathaniel Charlton
    0 references
    publication date
    6 September 2007
    0 references
    zbMATH Keywords
    Abstraction
    0 references
    Software verification
    0 references
    Plugins
    0 references
    Open product
    0 references
    describes a project that uses
    SIMPLIFY
    0 references
    MONA
    0 references
    SPIN
    0 references
    Bebop
    0 references
    Cyclone
    0 references

    Identifiers

    zbMATH DE Number
    5187831
    0 references
    OpenAlex ID
    W1972083926
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2642983&oldid=34987760"
    Powered by MediaWiki