LARA

This is an old revision of the document!


Leon System for Verification, Synthesis and Repair

The One, Leon Way

Leon is an automated system for verifying, repairing, and synthesizing functional Scala programs.

The system can be tried out online, with no installation required, at the following link:

http://leon.epfl.ch

Leon source code is publicly available on github:

https://github.com/epfl-lara/leon

The github repository contains the documentation that can be built in various formats, including in particular HTML.

A snapshot of this documentation is also available from http://leon.epfl.ch, check

http://leon.epfl.ch/doc/

The rest of this page may be largely subsumed by that documentation.


To get an overview of Leon, check out these papers:

Synthesis and constraint programming in Leon:

Videos:

Further Publications

Several invited talks and papers written by LARA group discuss Leon; you can find more of them from Viktor's page.

Contributors

Leon has started as the work of Philippe Suter, but many PhD and MSc students have contributed to Leon over the years. For the direct contributions to Leon as it is currently, please consult the github repository and its forks. Etienne Kneuss is currently responsible, among other activities, for maintaining a stable version of Leon.