MCMT: A Model Checker Modulo Theories.

Silvio Ghilardi, Silvio Ranise

Browse the full CADE paper archive.