scientific article; zbMATH DE number 2102726
From MaRDI portal
Publication:4818813
zbMath1046.68605MaRDI QIDQ4818813
O. Shtrichman, Michael Siegel, Yoav Rodeh, Amir Pnueli
Publication date: 24 September 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
equality logictranslation validationuninterpreted functionscompiler verificationfinite instantiationrange allocation
Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25)
Related Items
Satisfiability Modulo Theories, Combining nonstably infinite theories, Generalizing DPLL and satisfiability for equalities, NuMDG: a new tool for multiway decision graphs construction, Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors., Transforming equality logic to propositional logic, A Term Rewriting Technique for Decision Graphs, Building small equality graphs for deciding equality logic with uninterpreted functions, Zero, successor and equality in BDDs, EufDpll - A Tool to Check Satisfiability of Equality Logic Formulas, A framework for satisfiability modulo theories, A New Approach for the Construction of Multiway Decision Graphs, Translation and run-time validation of loop transformations
Uses Software
