Reference

2016
Proving Parameterized Systems Safe by Generalizing Clausal Proofs of Small Instances
Michael Dooley and Fabio Somenzi
CAV 2016: International Conference on Computer Aided Verification

BibTeX

@string{CAV = "International Conference on Computer Aided Verification (CAV)"}
@inproceedings{clausal-cav16,
  author = {Michael DooleyFabio Somenzi},
  title = {Proving Parameterized Systems Safe by Generalizing Clausal Proofs of
Small Instances},
  booktitle = CAV,
  year = {2016},
}