A Slice-Based Decision Procedure for Type-Based Partial Orders

DOI10.1007/978-3-642-14203-1_14zbMath1291.68268OpenAlexW1573766167MaRDI QIDQ5747758

Elena Sherman, Brady Garvin, Matthew B. Dwyer

Publication date: 14 September 2010

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14203-1_14

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

A Slice-Based Decision Procedure for Type-Based Partial Orders

Uses Software

• SMT-LIB
• cvc3
• z3
• KLEE

Cites Work

• The model evolution calculus as a first-order DPLL method
• Extensible encoding of type hierarchies
• Solving SAT and SAT Modulo Theories
• iProver – An Instantiation-Based Theorem Prover for First-Order Logic (System Description)
• Deciding Effectively Propositional Logic Using DPLL and Substitution Sets
• Path Feasibility Analysis for String-Manipulating Programs
• Symbolic String Verification: Combining String Analysis and Size Analysis
• Demand-Driven Compositional Symbolic Execution
• A Slice-Based Decision Procedure for Type-Based Partial Orders