list | abstracts | bib ]

On Template-Based Inference of Rich Invariants in Leon

paper pdf   

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},
  localurl = {http://lara.epfl.ch/~kuncak/papers/MadhavanKuncak13TemplateBasedInferenceRichInvariantsLeon.pdf}
}

list | abstracts | bib ]