KunterBuntesSeminar-WS12/Lightning Talks2/vgo

Dies ist der 13. Termin vom KunterBuntenSeminar im WS 2012/13.

Ort: Raum C-221 am Informatikum
Datum: 31. Januar 2013
Zeit: 18:35 bis 18:40

Dieser Lightning Talk wurde in der zweiten Lightning Talk Session des KunterBuntenSeminars im Wintersemester 2012 gehalten.

Abstract

ModelChecken koennte Software besser machen. Aber wie?

Folien

Folien vom Vortrag

Weblinks

• https://bitbucket.org/teythoon/vgo
• http://vgo.readthedocs.org/ -- Handbuch
• http://jade-hamburg.de/~teythoon/vgo/ -- Demos (spielbar!)