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] 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]]** |