Goal Directed Invariant Synthesis for Model Checking Modulo Theories (2009)

by S Ghilardi, S Ranise
Venue:In (TABLEAUX 09), LNAI