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.


debian raspberrypi lernen docker Chat Arduino Testverfahren wiki bloggen mooc Usenet rs232 Geschichten software Funktionen xmpp Smarthome 34c3 gamejam Film INN Dortmund Kino Spiele TV Linux IoT Datenbank Newsgroup cloud c't Wissenschaft Informatik Windows importiert Psychologie sdr RSS ctf screencast audio python ldl Sport Tipp bildung Sketchnotes Comic Spaß GPIO heise Text serielle Schnittstelle Konferenz hacking Tools 35c3 pdf Studium ubuntu kunst Tafelbild e-mail Termin dtp Bilder Latex bio git programmierung ldlmooc Gesellschaft video game-engine workshop esp8266 Clonezilla SciFi 3dDruck NNTP das-labor Commandline podcast buch ZDF Linkliste JavaScript hardware Second Life Archiv HP35s badge Mathe Taschenrechner ITA ccc Twitter server admin fun