Providing a formal linkage between MDG and HOL (Q878110)

From MaRDI portal
Revision as of 01:29, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Providing a formal linkage between MDG and HOL
scientific article

    Statements

    Providing a formal linkage between MDG and HOL (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    26 April 2007
    0 references
    Verification system correctness
    0 references
    Hybrid verification systems
    0 references
    Formal hardware verification
    0 references
    Usability verification
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers