The notion of proof in hardware verification (Q1122998)

From MaRDI portal
Revision as of 21:39, 29 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
The notion of proof in hardware verification
scientific article

    Statements

    title
    The notion of proof in hardware verification (English)
    0 references
    author
    Avra Cohn
    0 references
    publication date
    1989
    0 references
    zbMATH Keywords
    hardware verification
    0 references
    formal proof
    0 references
    viper
    0 references
    automated theorem proving
    0 references
    describes a project that uses
    LCF
    0 references
    HOL
    0 references

    Identifiers

    DOI
    10.1007/BF00243000
    0 references
    Mathematics Subject Classification ID
    68T15
    0 references
    03B35
    0 references
    68N99
    0 references
    zbMATH DE Number
    4108189
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1122998&oldid=24001736"
    Powered by MediaWiki