An experimental evaluation of ground decision procedures

DOI10.1007/978-3-540-27813-9_13MaRDI QIDQ5312896zbMATH OpenOpenAlexFDO

Authors Leonardo de Moura, Harald Rueß

Publication date 25 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b98490

Mathematics Subject Classification ID

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

Recommendations

• An analysis of empirical testing for modal decision procedures
• DPLL(T): Fast decision procedures
• Decision procedures. An algorithmic point of view. With foreword by Randal E. Bryant
• SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation
• An overview of resolution decision procedures

Cited in

(6)

• Parallelizing SMT solving: lazy decomposition and conciliation
• Building small equality graphs for deciding equality logic with uninterpreted functions
• Embedded software verification using symbolic execution and uninterpreted functions
• Bounded model checking with parametric data structures
• Speed-up techniques for negation in grounding
• M\textbf{ath}SAT: Tight integration of SAT and mathematical decision procedures

Describes a project that uses

Uses Software

• LTL2BA
• SMT-LIB
• SPIN
• SIMPLIFY
• CVC

This page was built for publication: An experimental evaluation of ground decision procedures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5312896)