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
Learning inductive invariants by sampling from frequency distributions - MaRDI portal

Learning inductive invariants by sampling from frequency distributions (Q2225478)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Learning inductive invariants by sampling from frequency distributions
scientific article

    Statements

    title
    Learning inductive invariants by sampling from frequency distributions (English)
    0 references
    author
    Grigory Fedyukovich
    0 references
    Samuel J. Kaufman
    0 references
    Rastislav Bodík
    0 references
    publication date
    8 February 2021
    0 references
    Mathematics Subject Classification ID
    68Q60
    0 references
    68N30
    0 references
    68Q32
    0 references
    68Q42
    0 references
    zbMATH DE Number
    7307317
    0 references
    zbMATH Keywords
    software verification
    0 references
    invariant synthesis
    0 references
    syntax-guided synthesis
    0 references
    describes a project that uses
    Ivy
    0 references
    Spacer
    0 references
    Eldarica
    0 references
    Ivy
    0 references
    RAHFT
    0 references
    LiquidHaskell
    0 references
    z3
    0 references
    Princess
    0 references
    TreeAutomizer
    0 references
    FLATA
    0 references
    Houdini
    0 references
    UFO
    0 references
    c2i
    0 references
    OpenAlex ID
    W3100075217
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2225478&oldid=36651938"
    Powered by MediaWiki