list | abstracts | bib ]

Disjunctive Interpolants for Horn-Clause Verification

paper pdf   

Citation

Philipp Rümmer, Hossein Hojjat, and Viktor Kuncak. Disjunctive interpolants for horn-clause verification. In Computer Aided Verification (CAV), 2013.

BibTex Entry

@INPROCEEDINGS{RuemmerETAL13DisjunctiveInterpolantsHornClauseVerification,
  author = {Philipp R\"ummer and Hossein Hojjat and Viktor Kuncak},
  title = {Disjunctive Interpolants for Horn-Clause Verification},
  booktitle = {Computer Aided Verification (CAV)},
  year = 2013,
  localurl = {http://lara.epfl.ch/~kuncak/papers/RuemmerETAL13DisjunctiveInterpolantsHornClauseVerification.pdf}
}

list | abstracts | bib ]