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
Temporal logic specification mining of programs - MaRDI portal

Temporal logic specification mining of programs (Q2220776)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Temporal logic specification mining of programs
scientific article

    Statements

    title
    Temporal logic specification mining of programs (English)
    0 references
    author
    Yanyan Li
    0 references
    publication date
    25 January 2021
    0 references
    zbMATH Keywords
    propositional projection temporal logic
    0 references
    pattern
    0 references
    trace
    0 references
    specification mining
    0 references
    describes a project that uses
    PPTLMiner
    0 references
    Texada
    0 references
    Perracotta
    0 references

    Identifiers

    zbMATH DE Number
    7300878
    0 references
    OpenAlex ID
    W3117099911
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2220776&oldid=38950332"
    Powered by MediaWiki