list | abstracts | bib ]

Solving quantified linear arithmetic by counterexample-guided instantiation

paper pdf   

Citation

Andrew Reynolds, Tim King, and Viktor Kuncak. Solving quantified linear arithmetic by counterexample-guided instantiation. Formal Methods in System Design (FMSD), 2017.

BibTex Entry

@ARTICLE{ReynoldsETAL17SolvingQuantified,
  author = {Andrew Reynolds and Tim King and Viktor Kuncak},
  title = {Solving quantified linear arithmetic by counterexample-guided instantiation},
  journal = {Formal Methods in System Design (FMSD)},
  year = 2017,
  localurl = {http://lara.epfl.ch/~kuncak/papers/ReynoldsETAL17SolvingQuantified.pdf}
}

list | abstracts | bib ]