Fach- & Kooperations-Workshop "Verifikation"