Title: Zur Verifikation paralleler Prozesse in Ada