Proving Parameterized Systems Safe by Generalizing Clausal Proofs of Small Instances.

Michael Dooley, Fabio Somenzi

Browse the full CAV paper archive.