Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
leon [2015/01/11 09:02] vkuncak |
leon [2015/02/05 10:43] vkuncak |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== The Leon Synthesis and Verification System ====== | + | ====== The Leon System for Program Verification, Synthesis and Repair ====== |
| {{1leonway.jpg?480|The One, Leon Way}} | {{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: | The system can be tried out online, with no installation required, at the following link: | ||