imageBugfix.png
Fachgruppe
TAV

Willkommen bei der Fachgruppe Test, Analyse und Verifikation von Software

Die Fachgruppe TAV (Test, Analyse und Verifikation von Software) ist eine Einrichtung des Fachbereichs Softwaretechnik der Gesellschaft für Informatik e.V. (GI). Die Schwerpunkte der Arbeit der Fachgruppe sind dynamisches Testen, statische Analysen und formale Techniken (z.B. symbolische Interpretation und formale Korrektheitsbeweise) der Programmprüfung sowie Fragen des Testmanagements.

Aktuelle Mitteilungen

Letztes Jahr haben wir in Bremen 25 Jahre TAV gefeiert. Das Buch zum Event ist beim dpunkt.verlag erschienen. Bald ist Weihnachten und ich habe...
weiterlesen

Nächste Veranstaltungen

Keine Veranstaltungen geplant.

Vergangene Veranstaltungen