Invariantengenerierung für die Verifikation von System-on-Chip-ProtokollimplementierungenMax ThalmaierÉpuiséPrévenez-moi
