list | abstracts | bib ]

Classifying and Solving Horn Clauses for Verification

paper pdf   

Citation

Philipp Rümmer, Hossein Hojjat, and Viktor Kuncak. Classifying and solving horn clauses for verification. In Fifth Working Conference on Verified Software: Theories, Tools and Experiments, 2013.

BibTex Entry

@INPROCEEDINGS{RuemmerETAL13ClassifyingSolvingHornClausesVerification,
  author = {Philipp R\"ummer and Hossein Hojjat and Viktor Kuncak},
  title = {Classifying and Solving Horn Clauses for Verification},
  booktitle = {Fifth Working Conference on Verified Software: Theories, Tools and Experiments},
  year = 2013,
  localurl = {http://lara.epfl.ch/~kuncak/papers/RuemmerETAL13ClassifyingSolvingHornClausesVerification.pdf}
}

list | abstracts | bib ]