Publication:2767014
From MaRDI portal
zbMath0988.68590MaRDI QIDQ2767014
Jan Friso Groote, Jaco van de Pol
Publication date: 22 July 2002
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Transforming equality logic to propositional logic, EufDpll - A Tool to Check Satisfiability of Equality Logic Formulas, A Term Rewriting Technique for Decision Graphs, From μCRL to mCRL2, A rewriting approach to binary decision diagrams, Zero, successor and equality in BDDs, Parameterised Boolean equation systems, Generalizing DPLL and satisfiability for equalities, Just-in-time