Mechanising a formal model of flash memory (Q1004295)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Mechanising a formal model of flash memory
scientific article

    Statements

    Mechanising a formal model of flash memory (English)
    0 references
    0 references
    0 references
    0 references
    2 March 2009
    0 references
    grand challenge
    0 references
    verification
    0 references
    flash hardware
    0 references
    theorem proving
    0 references
    0 references
    0 references

    Identifiers