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
13 June 2017
0 references
decision procedures
0 references
processor verfication
0 references
uninterpreted functions
0 references
