Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems.

Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli

Browse the full CADE paper archive.