Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Last revision Both sides next 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: |