Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
impro [2015/08/08 00:48] vkuncak |
impro [2016/11/18 10:43] vkuncak |
||
|---|---|---|---|
| Line 183: | Line 183: | ||
| - | ===== Outputs ===== | + | ===== Selected Outputs ===== |
| + | |||
| + | Leon tool: | ||
| + | * http://leon.epfl.ch/ | ||
| + | * http://leondev.epfl.ch/ | ||
| Videos: | Videos: | ||
| + | * **[[https://www.youtube.com/watch?v=93vZAmLyOQY|anyCode tool for suggestion code fragments]]**, by Tihomir Gvero | ||
| + | * **[[https://www.youtube.com/watch?v=0aPZq6VC2fk|Synthesis using Leon]]**, by Etienne Kneuss | ||
| * **[[http://videos.rennes.inria.fr/ConferenceRV2013/indexViktorKuncak.html|RV Keynote: Executing Specifications using Synthesis and Constraint Solving]]** | * **[[http://videos.rennes.inria.fr/ConferenceRV2013/indexViktorKuncak.html|RV Keynote: Executing Specifications using Synthesis and Constraint Solving]]** | ||
| * **[[ | * **[[ | ||
| Line 192: | Line 198: | ||
| * **[[http://slideshot.epfl.ch/play/ic_il_kuncak|Viktor's Inaugural Lecture at EPFL]]** (uses flash) | * **[[http://slideshot.epfl.ch/play/ic_il_kuncak|Viktor's Inaugural Lecture at EPFL]]** (uses flash) | ||
| * **[[https://www.youtube.com/watch?v=JFbx4iryNb0|Verification in Leon]]** | * **[[https://www.youtube.com/watch?v=JFbx4iryNb0|Verification in Leon]]** | ||
| - | |||
| The following are some of the related papers that explore these techniques and tools and describe our results so far: | The following are some of the related papers that explore these techniques and tools and describe our results so far: | ||