Goal-Directed Invariant Synthesis for Model Checking Modulo Theories.

Silvio Ghilardi, Silvio Ranise

Browse the full TABLEAUX paper archive.