Symbolic computation via program transformation (Q1623144)

From MaRDI portal
Revision as of 11:52, 28 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Symbolic computation via program transformation
scientific article

    Statements

    title
    Symbolic computation via program transformation (English)
    0 references
    author
    Henrich Lauko
    0 references
    Petr Ročkai
    0 references
    Jiří Barnat
    0 references
    publication date
    23 November 2018
    0 references
    zbMATH DE Number
    6983514
    0 references
    describes a project that uses
    SMT-LIB
    0 references
    Symbiotic 2
    0 references
    nuXmv
    0 references
    CUTE
    0 references
    BLAST
    0 references
    Java PathFinder
    0 references
    CBMC
    0 references
    LLVM
    0 references
    KLEE
    0 references
    CPAchecker
    0 references
    jCUTE
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1623144&oldid=23208036"
    Powered by MediaWiki