list | abstracts | bib ]

An Update on Deductive Synthesis and Repair in the Leon Tool

paper pdf   

Citation

Manos Koukoutos, Etienne Kneuss, and Viktor Kuncak. An update on deductive synthesis and repair in the leon tool. In 5th Workshop on Synthesis, 2016.

BibTex Entry

@INPROCEEDINGS{KoukoutosETAL16UpdateDeductiveSynthesisRepairLeonTool,
  author = {Manos Koukoutos and Etienne Kneuss and Viktor Kuncak},
  title = {An Update on Deductive Synthesis and Repair in the Leon Tool},
  booktitle = {5th Workshop on Synthesis},
  year = 2016,
  localurl = {http://lara.epfl.ch/~kuncak/papers/KoukoutosETAL16UpdateDeductiveSynthesisRepairLeonTool.pdf}
}

list | abstracts | bib ]