Processor verification using efficient reductions of the logic of uninterpreted functions to propositional logic (Q5738912)

From MaRDI portal
scientific article; zbMATH DE number 6729722
Language Label Description Also known as
English
Processor verification using efficient reductions of the logic of uninterpreted functions to propositional logic
scientific article; zbMATH DE number 6729722

    Statements

    Processor verification using efficient reductions of the logic of uninterpreted functions to propositional logic (English)
    0 references
    0 references
    0 references
    0 references
    13 June 2017
    0 references
    decision procedures
    0 references
    processor verfication
    0 references
    uninterpreted functions
    0 references

    Identifiers