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
Probabilistic guarded commands mechanized in HOL - MaRDI portal

Probabilistic guarded commands mechanized in HOL (Q2576950)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Probabilistic guarded commands mechanized in HOL
scientific article

    Statements

    title
    Probabilistic guarded commands mechanized in HOL (English)
    0 references
    author
    Joe Hurd
    0 references
    Carroll Morgan
    0 references
    Annabelle McIver
    0 references
    publication date
    29 December 2005
    0 references
    zbMATH DE Number
    2242233
    0 references
    zbMATH Keywords
    pGCL
    0 references
    formal verification
    0 references
    probabilistic programs
    0 references
    describes a project that uses
    ML
    0 references
    pGCL
    0 references
    PRISM
    0 references
    HOL
    0 references
    OpenAlex ID
    W2113081700
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2576950&oldid=34470614"
    Powered by MediaWiki