scientific article; zbMATH DE number 2081115

MaRDI QIDQ4474229zbMATH OpenFDO

Authors Amir Pnueli, Yoav Rodeh, O. Shtrichman

Publication date 4 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2245/22450317.htm

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1796130
• Computer Aided Verification
• Building small equality graphs for deciding equality logic with uninterpreted functions
• Computer Aided Verification
• scientific article; zbMATH DE number 2102726

Cited in

(5)

• Building small equality graphs for deciding equality logic with uninterpreted functions
• scientific article; zbMATH DE number 1796130 (Why is no real title available?)
• EufDPLL -- a tool to check satisfiability of equality logic formulas
• Computer Aided Verification
• Design and results of the first satisfiability modulo theories competition (SMT-COMP 2005)

This page was built for publication:

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