The 2013 evaluation of SMT-COMP and SMT-LIB

DOI10.1007/s10817-015-9328-2zbMath1356.68185OpenAlexW565454175MaRDI QIDQ286784

Tjark Weber, Aaron Stump, David R. Cok

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

Related Items (2)

Decision procedures for flat array properties ⋮ A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders

Uses Software

• SMT-LIB
• StarExec

Cites Work

• Automated Reasoning
• Theory and Applications of Satisfiability Testing
• Unnamed Item

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