GITDA - The German VeriSoft Project 2003-2007

The German VeriSoft Project 2003-2007

613 view

0.00

(from 0 ratings)
Basic information
Contributors
Technical data
Share
Download

Owner: Videotorium admin

Categories: Software development

Playlists: Verified software

Wolfgang J. Paul (szerző)

Universitat Saarbrücken

Felvétel hossza (en): 01:44:05

Recording date: 2006-09-19 14:00:00

Upload time: 2010-06-23 15:16:52

Link

Embed

<iframe width="560" height="315" src="https://www.videotorium.hu/kifu/en/e/831c2f88a6" title="Videotorium Player" frameborder="0" allowfullscreen></iframe>

Attachments

Presentations

Lejátszási lista:

Verified software

01:00:11

Panel: Pan-European collaboration

407 view

15 year(s) ago

00:41:21

Model checking, theorem proving, and abstract interpretation - The convergence of formal verification technologies

691 view

15 year(s) ago

00:44:05

The German VeriSoft Project 2003-2007

613 view

15 year(s) ago

00:47:40

Temporal annotations and their validation

626 view

15 year(s) ago

00:38:02

Have we learned from the Wasa disaster?

2 136 view

15 year(s) ago

00:40:26

A million lines of verified code

696 view

15 year(s) ago

00:42:46

The ideal of program correctness

826 view

15 year(s) ago

00:11:49

Opening & welcome

660 view

15 year(s) ago