Invariantengenerierung für die Verifikation von System-on-Chip-ProtokollimplementierungenMax ThalmaierEsauritoAvvisami