On Template-Based Inference of Rich Invariants in Leon

Citation

Ravichandhran Madhavan and Viktor Kuncak. On template-based inference of rich invariants in Leon. Technical Report EPFL-REPORT-190578, EPFL, November 2013.

BibTex Entry

@techreport{MadhavanKuncak13TemplateBasedInferenceRichInvariantsLeon,
  author = {Ravichandhran Madhavan and Viktor Kuncak},
  title = {On Template-Based Inference of Rich Invariants in {L}eon},
  institution = {EPFL},
  year = 2013,
  number = {EPFL-REPORT-190578},
  month = {November}
}