DOI10.1007/s10817-015-9328-2zbMath1356.68185MaRDI QIDQ286784
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
competition; model checking; SMT solvers; SMT-COMP; SMT-LIB
Mathematics Subject Classification ID
Uses Software