Proving Parameterized Systems Safe by Generalizing Clausal Proofs of
Small Instances
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},
}