list | abstracts | bib ]

Induction for SMT Solvers

paper pdf   

Citation

Andrew Reynolds and Viktor Kuncak. Induction for SMT solvers. In Verification, Model Checking, and Abstract Interpretation (VMCAI), 2015.

BibTex Entry

@INPROCEEDINGS{ReynoldsKuncak15InductionSMTSolvers,
  author = {Andrew Reynolds and Viktor Kuncak},
  title = {Induction for {SMT} Solvers},
  booktitle = {Verification, Model Checking, and Abstract Interpretation (VMCAI)},
  year = 2015,
  localurl = {http://lara.epfl.ch/~kuncak/papers/ReynoldsKuncak15InductionSMTSolvers.pdf}
}

list | abstracts | bib ]