fosdem 2014 - formal verification with ada 2012 a very simple case study
Published 9 years ago • 17 plays • Length 25:43Download video MP4
Download video MP3
Similar videos
-
![[fosdem 2014] formal verification with ada 2012: a very simple case study](https://i.ytimg.com/vi/uWEpNq1u7h8/mqdefault.jpg)
25:43
[fosdem 2014] formal verification with ada 2012: a very simple case study
-
1:01:59
fosdem 2014 - contract based programming in ada 2012
-
53:52
fosdem 2014 - introduction to ada for beginning and experienced programmers
-
17:59
fosdem 2014 - speedup and quality up with ada tasking
-
54:12
fosdem 2014 - spark 2014 hybrid verification using proofs and tests
-
51:44
fosdem 2014 - ada task pools multithreading made easy
-
5:24
atomic packing factor (apf)
-
10:14
dpaa® - creating host aliases
-
42:18
live demo of ada's distribution features
-
17:45
fosdem 2014 - ada in fedora linux
-
1:00:28
fosdem 2014 - safer web servers with ada and aws
-
2:34
fosdem 2014 - welcome
-
50:56
fosdem 2014 - an introduction to the video4linux framework
-
8:13
fosdem 2014 - ada in debian linux
-
22:02
fosdem 2014 - javascript room welcome
-
18:57
meraida polak: using database for clinical management (2013 apf)
-
5:59
jama connect® features in five: samd framework
-
1:10
fta cpd setting the benchmark
-
20:06
hac: the compiler which will never become big
-
1:50
foa cfosd introduction