Classifying and Solving Horn Clauses for Verification

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
}