scientific article; zbMATH DE number 2102727
From MaRDI portal
Publication:4818814
zbMath1046.68584MaRDI QIDQ4818814
Miroslav N. Velev, Randal E. Bryant, Steven M. German
Publication date: 24 September 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Satisfiability Modulo Theories, Generalizing DPLL and satisfiability for equalities, A framework for verifying bit-level pipelined machines based on automated deduction and decision procedures, NuMDG: a new tool for multiway decision graphs construction, Algebraic models of correctness for abstract pipelines., Building small equality graphs for deciding equality logic with uninterpreted functions, Embedded software verification using symbolic execution and uninterpreted functions, Word level bitwidth reduction for unbounded hardware model checking, The small model property: How small can it be?