Hi
user
Admin Login:
Username:
Password:
Name:
Formal Verification with Ada 2012: a Very Simple Case Study
--client
fosdem
--show
fosdem_2014
--room K4601 7881 --force
Next: 5 Speedup and Quality Up with Ada Tasking
show more...
Marks
Author(s):
Didier Willame
Location
K.4.601
10
Date
feb Sat 01
Days Raw Files
Start
16:00
First Raw Start
15:01
Duration
00:25:00
Offset
0:58:16
End
16:25
Last Raw End
16:32
Chapters
00:00
Total cuts_time
25 min.
https://fosdem.org/2014/schedule/event/ada_verification/
raw-playlist
raw-mp4-playlist
encoded-files-playlist
public
mp4
svg
png
assets
release.pdf
Formal_Verification_with_Ada_2012_a_Very_Simple_Case_Study.json
logs
Admin:
episode
episode list
cut list
raw files day
marks day
marks day
image_files
State:
---------
borked
edit
encode
push to queue
post
richard
review 1
email
review 2
make public
tweet
to-miror
conf
done
Locked:
clear this to unlock
Locked by:
user/process that locked.
Start:
initially scheduled time from master, adjusted to match reality
Duration:
length in hh:mm:ss
Name:
Video Title (shows in video search results)
Emails:
email(s) of the presenter(s)
Released:
has someone authorised pubication
Unknown
Yes
No
Normalise:
Channelcopy:
m=mono, 01=copy left to right, 10=right to left, 00=ignore.
Thumbnail:
filename.png
Description:
markdown
<p>After a quick reminder of the Hoare Logic and the approach for designing software by contracts, the tool suite developed by AdaCore for formal verifications is presented. To make the concepts easily understood, a little program simulating a sandpile is used.</p>
Comment:
production notes
2014-02-01/14_01_44.dv
Apply:
15:01:44 - 16:03:42 ( 01:01:58 )
S:
15:01:44 -
E:
16:03:42
D:
01:01:58
show more...
vlc ~/Videos/veyepar/fosdem/fosdem_2014/dv/K4601/2014-02-01/14_01_44.dv :start-time=00.0 --audio-desync=0
Raw File
Cut List
15:01:44
seconds: 0.0
Wall: 15:01:44
Duration
01:01:58
16:03:42
seconds: 0.0
Wall: 15:01:44
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2014-02-01/15_03_42.dv
Apply:
16:03:42 - 16:06:24 ( 00:02:42 )
S:
16:03:42 -
E:
16:06:24
D:
00:02:42
show more...
vlc ~/Videos/veyepar/fosdem/fosdem_2014/dv/K4601/2014-02-01/15_03_42.dv :start-time=00.0 --audio-desync=0
Raw File
Cut List
16:03:42
seconds: 0.0
Wall: 16:03:42
Duration
00:02:42
16:06:24
seconds: 0.0
Wall: 16:03:42
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2014-02-01/15_06_25.dv
Apply:
16:06:25 - 16:32:07 ( 00:25:42 )
S:
16:06:25 -
E:
16:32:07
D:
00:25:42
show more...
vlc ~/Videos/veyepar/fosdem/fosdem_2014/dv/K4601/2014-02-01/15_06_25.dv :start-time=00.0 --audio-desync=0
Raw File
Cut List
16:06:25
seconds: 0.0
Wall: 16:06:25
Duration
00:25:42
16:32:07
seconds: 0.0
Wall: 16:06:25
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
Rf filename:
root is .../show/dv/location/, example: 2013-03-13/13:13:30.dv
Sequence:
get this:
check and save to add this
2014-02-01/14_01_44.dv
2014-02-01/15_03_42.dv
2014-02-01/15_06_25.dv
Veyepar
Video Eyeball Processor and Review
