AdaCore

 [SPARK Pro New Features Pt5: Counter Example Generator: Riposte](http://www.youtube.com/watch?v=cv6XuuT0NEs&feature=youtube_gdata) Part 5 in a series of 5 videos highlighting some of the new features of SPARK Pro (Release 11). This video features 'Counter Example Generator: Riposte'. From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 183      0 ratings Time: 04:25 More …

[](http://www.youtube.com/wa tch?v=cv6XuuT0NEs&feature=youtube_gdata) [SPARK Pro New Features Pt5: Counter Example Generator: Riposte](http://www.youtube.com/watch?v=cv6XuuT0NEs&feature=youtube_gdata) Part 5 in a series of 5 videos highlighting some of the new features of SPARK Pro (Release 11). This video features 'Counter Example Generator: Riposte'. From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 154      0 ratings Time: 04:25 …

[](http://www.youtube.com/wa tch?v=rwFKcQfFWzA&feature=youtube_gdata) [GNAT for Mindstorms 2012](http://www.youtube.com/watch?v=rwFKcQfFWzA&feature=youtube_gdata) From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 186      0 ratings Time: 04:22 More in [Science & Technology](http://www.youtube.com/videos?c=28)

 [GNAT for Mindstorms 2012](http://www.youtube.com/watch?v=rwFKcQfFWzA&feature=youtube_gdata) From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 294      0 ratings Time: 04:22 More in [Science & Technology](http://www.youtube.com/videos?c=28)

 [GNAT for Mindstorms 2012](http://www.youtube.com/watch?v=rwFKcQfFWzA&feature=youtube_gdata) From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 290      0 ratings Time: 04:22 More in [Science & Technology](http://www.youtube.com/videos?c=28)

[](http://www.youtube.com/wa tch?v=rwFKcQfFWzA&feature=youtube_gdata) [GNAT for Mindstorms 2012](http://www.youtube.com/watch?v=rwFKcQfFWzA&feature=youtube_gdata) From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 211      0 ratings Time: 04:22 More in [Science & Technology](http://www.youtube.com/videos?c=28)

[](http://www.youtube.com/wa tch?v=AyUyaUndzc8&feature=youtube_gdata) [Ada 2012 Features](http://www.youtube.com/watch?v=AyUyaUndzc8&feature=youtube_gdata) Ed Schonberg gives a comprehensive look at the new features of Ada 2012. From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 1430      12 ratings Time: 01:02:49 More in [Science & Technology](http://www.youtube.com/videos?c=28)

 [Ada 2012 Features](http://www.youtube.com/watch?v=AyUyaUndzc8&feature=youtube_gdata) Ed Schonberg gives a comprehensive look at the new features of Ada 2012. From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 2617      20 ratings Time: 01:02:49 More in [Science & Technology](http://www.youtube.com/videos?c=28)

 [Ada 2012 Features](http://www.youtube.com/watch?v=AyUyaUndzc8&feature=youtube_gdata) Ed Schonberg gives a comprehensive look at the new features of Ada 2012. From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 2486      20 ratings Time: 01:02:49 More in [Science & Technology](http://www.youtube.com/videos?c=28)

[](http://www.youtube.com/wa tch?v=AyUyaUndzc8&feature=youtube_gdata) [Ada 2012 Features](http://www.youtube.com/watch?v=AyUyaUndzc8&feature=youtube_gdata) Ed Schonberg gives a comprehensive look at the new features of Ada 2012. From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 1679      15 ratings Time: 01:02:49 More in [Science & Technology](http://www.youtube.com/videos?c=28)

[](http://www.youtube.com/watch?v=3e- BGblAMC4&feature=youtube_gdata) [The Ada 2012 Story](http://www.youtube.com/watch?v=3e- BGblAMC4&feature=youtube_gdata) Ada 2012 is the next generation of the world's premier programming language for engineering safe, secure and reliable software. For an in-depth technical pre... From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 2836      35 ratings Time: 06:14 More in [Science & Technology](http://www.youtube.com/videos?c=28)

 [The Ada 2012 Story](http://www.youtube.com/watch?v=3e- BGblAMC4&feature=youtube_gdata) Ada 2012 is the next generation of the world's premier programming language for engineering safe, secure and reliable software. For an in-depth technical pre... From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 5126      51 ratings Time: 06:14 More in [Science & Technology](http://www.youtube.com/videos?c=28)

 [The Ada 2012 Story](http://www.youtube.com/watch?v=3e- BGblAMC4&feature=youtube_gdata) Ada 2012 is the next generation of the world's premier programming language for engineering safe, secure and reliable software. For an in-depth technical pre... From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 4893      47 ratings Time: 06:14 More in [Science & Technology](http://www.youtube.com/videos?c=28)

[](http://www.youtube.com/watch?v=3e- BGblAMC4&feature=youtube_gdata) [The Ada 2012 Story](http://www.youtube.com/watch?v=3e- BGblAMC4&feature=youtube_gdata) Ada 2012 is the next generation of the world's premier programming language for engineering safe, secure and reliable software. For an in-depth technical pre... From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 3262      35 ratings Time: 06:14 More in [Science & Technology](http://www.youtube.com/videos?c=28)

[](http://www.youtube.com/wa tch?v=qapHVY7huKU&feature=youtube_gdata) [Installing GNAT GPL Edition](http://www.youtube.com/watch?v=qapHVY7huKU&feature=youtube_gdata) From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 3850      7 ratings Time: 04:21 More in [Science & Technology](http://www.youtube.com/videos?c=28)

 [Installing GNAT GPL Edition](http://www.youtube.com/watch?v=qapHVY7huKU&feature=youtube_gdata) From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 6657      11 ratings Time: 04:21 More in [Science & Technology](http://www.youtube.com/videos?c=28)

 [Installing GNAT GPL Edition](http://www.youtube.com/watch?v=qapHVY7huKU&feature=youtube_gdata) From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 6413      11 ratings Time: 04:21 More in [Science & Technology](http://www.youtube.com/videos?c=28)

[](http://www.youtube.com/wa tch?v=qapHVY7huKU&feature=youtube_gdata) [Installing GNAT GPL Edition](http://www.youtube.com/watch?v=qapHVY7huKU&feature=youtube_gdata) From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 4501      8 ratings Time: 04:21 More in [Science & Technology](http://www.youtube.com/videos?c=28)

[](http://www.youtube.com/wa tch?v=47kcF3PXkvM&feature=youtube_gdata) [GNATprove Demo - Contract based formal verification](http://www.youtube.com/w atch?v=47kcF3PXkvM&feature=youtube_gdata) From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 1669      3 ratings Time: 06:13 More in [Science & Technology](http://www.youtube.com/videos?c=28)

 [GNATprove Demo - Contract based formal verification](http://www.youtube.com/w atch?v=47kcF3PXkvM&feature=youtube_gdata) From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 1816      3 ratings Time: 06:13 More in [Science & Technology](http://www.youtube.com/videos?c=28)