list | abstracts | bib ]

An Overview of the Leon Verification System: Verification by Translation to Recursive Functions

paper pdf    paper ps   

Citation

Régis William Blanc, Etienne Kneuss, Viktor Kuncak, and Philippe Suter. An overview of the Leon verification system: Verification by translation to recursive functions. In Scala Workshop, 2013.

BibTex Entry

@INPROCEEDINGS{BlancETAL13VerificationTranslationRecursiveFunctions,
  author = {R\'egis William Blanc and Etienne Kneuss and Viktor Kuncak and Philippe Suter},
  title = {An Overview of the {Leon} Verification System: Verification by Translation to Recursive Functions},
  booktitle = {Scala Workshop},
  year = 2013,
  localurl = {http://lara.epfl.ch/~kuncak/papers/BlancETAL13VerificationTranslationRecursiveFunctions.pdf}
}

list | abstracts | bib ]