Program Verification as Satisfiability Modulo Theories.

Nikolaj S. Bjrner, Kenneth L. McMillan, Andrey Rybalchenko

Browse the full CADE paper archive.