Hi
user
Admin Login:
Username:
Password:
Name:
SPARK 2014: Hybrid Verification using Proofs and Tests
--client
fosdem
--show
fosdem_2014
--room K4601 7879 --force
Next: 5 Contract Based Programming in Ada 2012
show more...
Marks
Author(s):
José F. Ruiz
Location
K.4.601
10
Date
feb Sat 01
Days Raw Files
Start
14:00
First Raw Start
13:58
Duration
00:50:00
Offset
0:01:26
End
14:50
Last Raw End
14:54
Chapters
00:00
Total cuts_time
54 min.
https://fosdem.org/2014/schedule/event/ada_spark/
raw-playlist
raw-mp4-playlist
encoded-files-playlist
public
mp4
svg
png
assets
release.pdf
SPARK_2014_Hybrid_Verification_using_Proofs_and_Tests.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>This presentation will talk about hybrid verification, an innovative approach to demonstrating the functional correctness of a program using a combination of automated proof and unit testing.</p>
Comment:
production notes
2014-02-01/12_58_34.dv
Apply:
13:58:34 - 14:00:20 ( 00:01:46 )
S:
13:58:34 -
E:
14:00:20
D:
00:01:46
show more...
vlc ~/Videos/veyepar/fosdem/fosdem_2014/dv/K4601/2014-02-01/12_58_34.dv :start-time=00.0 --audio-desync=0
Raw File
Cut List
13:58:34
seconds: 0.0
Wall: 13:58:34
Duration
00:01:46
14:00:20
seconds: 0.0
Wall: 13:58:34
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2014-02-01/13_00_21.dv
Apply:
14:00:21 - 14:54:32 ( 00:54:11 )
S:
14:00:21 -
E:
14:54:32
D:
00:54:11
show more...
vlc ~/Videos/veyepar/fosdem/fosdem_2014/dv/K4601/2014-02-01/13_00_21.dv :start-time=00.0 --audio-desync=0
Raw File
Cut List
14:00:21
seconds: 0.0
Wall: 14:00:21
Duration
00:54:11
14:54:32
seconds: 0.0
Wall: 14:00:21
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/12_58_34.dv
2014-02-01/13_00_21.dv
Veyepar
Video Eyeball Processor and Review