Gerade endete in Berlin die diesjährige CAV (computer aided verification) - eine bekannte und wichtige Konferenz für Informatiker, die sich mit der Verifikation von Computerprogrammen beschäftigt. Ziel der Softwareverifikation ist die Überprüfung von Software gegenüber einer Spezifikation. Es soll also sichergestellt werden, dass die Software das macht, was sich der Programmierer tatsächlich überlegt hat. So soll der ICE etwa nicht mit 200 km/h in die Weiche fahren und das Flugzeug im Landeanflug nicht den Rechner neu starten. Diese also eigentlich eher ausgesprochen spezielle Konferenz hat es sogar bis in die aktuelle Ausgabe 56 [mp3] des Computerclub 2 geschafft. Wolfgang Back und Wolfgang Rudolph unterhalten sich hier mit dem Organisator Holger Hermanns über die Konferenz.


git e-mail Informatik Studium video Sport bloggen HP35s 35c3 server pdf raspberrypi Windows Latex Funktionen Text admin das-labor importiert audio gamejam esp8266 ccc game-engine Spaß Clonezilla wiki cloud ldl TV Termin Datenbank Tools Linux RSS software Konferenz hardware buch screencast hacking Linkliste Kino Twitter c't programmierung Film kunst ctf Dortmund Gesellschaft Taschenrechner Second Life Geschichten Chat Bilder Tafelbild python Mathe Tipp podcast Comic 34c3 JavaScript Spiele llm bildung ldlmooc Wissenschaft fun lernen mooc