Toward automatic verification of quantum programs (Q667515)

From MaRDI portal
Revision as of 17:05, 18 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Toward automatic verification of quantum programs
scientific article

    Statements

    title
    Toward automatic verification of quantum programs (English)
    0 references
    publication date
    13 March 2019
    0 references
    zbMATH Keywords
    quantum programming
    0 references
    Hoare logic
    0 references
    proof outline
    0 references
    auxiliary rules
    0 references
    invariant generation
    0 references
    termination analysis
    0 references
    author
    Ming Sheng Ying
    0 references
    describes a project that uses
    QML
    0 references
    QPL
    0 references
    ScaffCC
    0 references
    LIQUi
    0 references
    QPMC
    0 references
    Quipper
    0 references
    verifier
    0 references
    cites work
    Q2851315
    0 references
    Q3245484
    0 references
    Q2706552
    0 references
    Quantum loop programs
    0 references

    Identifiers

    zbMATH DE Number
    7035353
    0 references
    OpenAlex ID
    W3105304321
    0 references
    arXiv ID
    1807.11610
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q667515&oldid=36478828"
    Powered by MediaWiki