[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
-
1:01:59
[fosdem 2014] contract based programming in ada 2012
-
54:12
[fosdem 2014] spark 2014: hybrid verification using proofs and tests
-
22:55
spark 2014 - formal verification made easy
-
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
-
26:33
[fosdem 2014] pharos
-
22:30
[fosdem 2014] solving np-complete problems with metaheuristics
-
20:48
[fosdem 2014] software engineering tools based on syscall instrumentation
-
25:27
[fosdem 2014] the xpcc microcontroller framework
-
17:45
fosdem 2014 - ada in fedora linux
-
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