The 2013 evaluation of SMT-COMP and SMT-LIB

DOI10.1007/S10817-015-9328-2MaRDI QIDQ286784zbMATH OpenOpenAlexFDO

Authors David R. Cok, Aaron Stump, Tjark Weber

Publication date 26 May 2016

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

Full work available at URL https://doi.org/10.1007/s10817-015-9328-2

zbMATH Keywords

competitionmodel checkingSMT solversSMT-COMPSMT-LIB

Mathematics Subject Classification ID

Recommendations

• Design and results of the first satisfiability modulo theories competition (SMT-COMP 2005)
• Theory and Applications of Satisfiability Testing
• Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006)
• Computer Aided Verification
• Theory and Applications of Satisfiability Testing

Cites work

• scientific article; zbMATH DE number 1809860 (Why is no real title available?)
• Automated Reasoning
• Theory and Applications of Satisfiability Testing

Cited in

(5)

• Careful ranking of multiple solvers with timeouts and ties
• Decision procedures for flat array properties
• Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006)
• Design and results of the first satisfiability modulo theories competition (SMT-COMP 2005)
• A logic-based framework leveraging neural networks for studying the evolution of neurological disorders

Describes a project that uses

Uses Software

• SMT-LIB
• StarExec

This page was built for publication: The 2013 evaluation of SMT-COMP and SMT-LIB

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