KunterBuntesSeminar-WS12/Lightning Talks2/vgo: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
(Seite angelegt) |
(kein Unterschied)
|
Aktuelle Version vom 31. Januar 2013, 17:09 Uhr
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[Bearbeiten]
ModelChecken koennte Software besser machen. Aber wie?
Folien[Bearbeiten]
Weblinks[Bearbeiten]
- https://bitbucket.org/teythoon/vgo
- http://vgo.readthedocs.org/ -- Handbuch
- http://jade-hamburg.de/~teythoon/vgo/ -- Demos (spielbar!)