Program Verification as Satisfiability Modulo Theories

Download PDF
Open Webpage

Nikolaj S. Bjørner, Kenneth L. McMillan, Andrey Rybalchenko

Published: 2012, Last Modified: 05 Nov 2025SMT@IJCAR 2012EveryoneRevisionsBibTeXCC BY-SA 4.0