Providing a formal linkage between MDG and HOL (Q878110): Difference between revisions

From MaRDI portal
Changed an Item
Changed an Item
Property / describes a project that uses
 
Property / describes a project that uses: BuDDy / rank
 
Normal rank

Revision as of 12:08, 29 February 2024

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

    Identifiers