Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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]]**
 
impro.txt · Last modified: 2016/11/18 10:43 by vkuncak