[fosdem 2014] formal verification with ada 2012: a very simple case study
Published 10 years ago • 403 plays • Length 25:43Download video MP4
Download video MP3
Similar videos
-
25:43
fosdem 2014 - formal verification with ada 2012 a very simple case study
-
![[fosdem 2014] contract based programming in ada 2012](https://i.ytimg.com/vi/EjC3QjHuAFY/mqdefault.jpg)
1:01:59
[fosdem 2014] contract based programming in ada 2012
-
![[fosdem 2014] spark 2014: hybrid verification using proofs and tests](https://i.ytimg.com/vi/4UL6yixU40Q/mqdefault.jpg)
54:12
[fosdem 2014] spark 2014: hybrid verification using proofs and tests
-
22:55
spark 2014 - formal verification made easy
-
![[fosdem 2014] your application versus gdb](https://i.ytimg.com/vi/RwDA3oIOtWw/mqdefault.jpg)
50:40
[fosdem 2014] your application versus gdb
-
9:46
closing fosdem 2019
-
14:16
welcome to fosdem 2020
-
44:27
an introduction to ada for beginning and experienced programmers
-
![[fosdem 2014] pharos](https://i.ytimg.com/vi/w5Mx5frFXso/mqdefault.jpg)
26:33
[fosdem 2014] pharos
-
![[fosdem 2014] solving np-complete problems with metaheuristics](https://i.ytimg.com/vi/PjhQ2KEt8eY/mqdefault.jpg)
22:30
[fosdem 2014] solving np-complete problems with metaheuristics
-
![[fosdem 2014] software engineering tools based on syscall instrumentation](https://i.ytimg.com/vi/WbuRn_YJrh0/mqdefault.jpg)
20:48
[fosdem 2014] software engineering tools based on syscall instrumentation
-
![[fosdem 2014] the xpcc microcontroller framework](https://i.ytimg.com/vi/fByv9RNlpLo/mqdefault.jpg)
25:27
[fosdem 2014] the xpcc microcontroller framework
-
17:45
fosdem 2014 - ada in fedora linux
-
![[fosdem 2014] reproducible builds for debian](https://i.ytimg.com/vi/E-YYKdtjsmI/mqdefault.jpg)
46:18
[fosdem 2014] reproducible builds for debian
-
3:13
ada programming language
-
31:40
2013 nasa iv&v workshop - independent formal verification of safety-critical systems' user interface
-
20:06
hac: the compiler which will never become big