Differences

This shows you the differences between two versions of the page.

--- leon [2015/01/10 19:34]
vkuncak
+++ leon [2015/04/26 20:36]
vkuncak
@@ Line 1: / Line 1: @@
-====== The Leon Synthesis and Verification System ======
+====== Leon System for Verification, Synthesis and Repair ======
 {{1leonway.jpg?480|The One, Leon Way}}
-Leon is an automated system for synthesizing and verifying functional Scala programs.
+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:
@@ Line 13: / Line 13: @@
 **[[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, check out these papers:
+----
+To get an overview of Leon, check out these papers:
   * [[http://lara.epfl.ch/~kuncak/papers/SuterETAL11SatisfiabilityModuloRecursivePrograms.pdf|Satisfiability Modulo Recursive Programs]], by P. Suter, A.S. Köksal, V. Kuncak, Static Analysis Symposium (SAS), 2011
-  * [[http://lara.epfl.ch/~kuncak/papers/SuterETAL10DecisionProceduresforAlgebraicDataTypesAbstractions.pdf|Decision Procedures for Algebraic Data Types with Abstractions]], P. Suter, M. Dotta, V. Kuncak. Principles of Programming Languages (POPL), 2010
+  * [[http://lara.epfl.ch/~kuncak/papers/SuterETAL10DecisionProceduresforAlgebraicDataTypesAbstractions.pdf|Decision Procedures for Algebraic Data Types with Abstractions]], by P. Suter, M. Dotta, V. Kuncak. Principles of Programming Languages (POPL), 2010
-  * [[http://lara.epfl.ch/~kuncak/papers/BlancETAL13VerificationTranslationRecursiveFunctions.pdf|An Overview of the Leon Veriﬁcation System]], Scala Workshop 2013
+  * [[http://lara.epfl.ch/~kuncak/papers/BlancETAL13VerificationTranslationRecursiveFunctions.pdf|An Overview of the Leon Veriﬁcation System]], by Régis Blanc, Etienne Kneuss, Viktor Kuncak, and Philippe Suter. Scala Workshop 2013
 Synthesis and constraint programming in Leon:
@@ Line 30: / Line 33: @@
 ===== Further Publications =====
-Several invited talks and papers discuss Leon; you can find more of them at [[http://lara.epfl.ch/~kuncak/|Viktor's page]].
+Several invited talks and papers written by LARA group discuss Leon; you can find more of them from [[http://lara.epfl.ch/~kuncak/|Viktor's page]].
 ===== Contributors =====