 [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: 1808      3 ratings Time: 06:13 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: 1693      3 ratings Time: 06:13 More in [Science & Technology](http://www.youtube.com/videos?c=28)
An Overview of DO-178C/ED-12C …
Selecting a Programming Language the Modern …
[](http://www.youtube.com/wa tch?v=1I1jlOGwDeU&feature=youtube_gdata) [Selecting a Programming Language the Modern Way](http://www.youtube.com/watch?v=1I1jlOGwDeU&feature=youtube_gdata) Jim Sutton of Lockheed Martin at the Ada UK Conference 2009 in London. Since its inception, Ada has been successful in systems where reliability is essential... From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 322      1 ratings Time: 36:33 More in …
 [Selecting a Programming Language the Modern Way](http://www.youtube.com/watch?v=1I1jlOGwDeU&feature=youtube_gdata) Jim Sutton of Lockheed Martin at the Ada UK Conference 2009 in London. Since its inception, Ada has been successful in systems where reliability is essential... From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 515      4 ratings Time: 36:33 More in [Science …
 [Selecting a Programming Language the Modern Way](http://www.youtube.com/watch?v=1I1jlOGwDeU&feature=youtube_gdata) Jim Sutton of Lockheed Martin at the Ada UK Conference 2009 in London. Since its inception, Ada has been successful in systems where reliability is essential... From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 507      4 ratings Time: 36:33 More in [Science …
[](http://www.youtube.com/wa tch?v=1I1jlOGwDeU&feature=youtube_gdata) [Selecting a Programming Language the Modern Way](http://www.youtube.com/watch?v=1I1jlOGwDeU&feature=youtube_gdata) Jim Sutton of Lockheed Martin at the Ada UK Conference 2009 in London. Since its inception, Ada has been successful in systems where reliability is essential... From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 358      2 ratings Time: 36:33 More in …
aa jeol <div style="font-size: …
SPARK Pro - An Introduction to …
Assuring Software Reliability While Using Web …
A Real-Time Framework for Multiprocessor Platforms …
Debugging Mechatronic Applications Written in Ada …
Real-Time Management & Production Systems for …
Detecting High-Level Synchronization Errors in Parallel …
Design and Implementation of a Ravenscar …
Philips Semiconductor (ITEC Division) …
Ada in Astrophysics <div …
Implementing a Software Product Line for …