The 2013 evaluation of SMT-COMP and SMT-LIB

DOI10.1007/S10817-015-9328-2zbMATH Open1356.68185OpenAlexW565454175MaRDI QIDQ286784FDOQ286784

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

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

zbMATH Keywords

competitionmodel checkingSMT solversSMT-COMPSMT-LIB

Mathematics Subject Classification ID

Cites Work

• Title not available (Why is that?)
• Automated Reasoning
• Theory and Applications of Satisfiability Testing

Cited In (5)

• 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
• Careful ranking of multiple solvers with timeouts and ties

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)