Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
impro [2016/11/18 10:43] vkuncak |
impro [2016/11/18 10:43] (current) vkuncak |
||
|---|---|---|---|
| Line 190: | Line 190: | ||
| Videos: | Videos: | ||
| - | * **[[https://www.youtube.com/watch?v=93vZAmLyOQY|anyCode tool for suggestion code fragments]], by Tihomir Gvero | + | * **[[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 | * **[[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]]** | ||