Sequential verification using reverse PDR

von Seufert, Tobias
Veröffentlicht in Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (20. : 2017 : Bremen) Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (2017)

Making PROGRESS in Property Directed Reachability

von Seufert, Tobias
Veröffentlicht in VMCAI (23. : 2022 : Philadelphia, Pa.) Verification, Model Checking, and Abstract Interpretation (2022)

Turbo receivers for equalizing frequency-selective MIMO channels : algorithms and implementations

von Seifert, Tobias
Veröffentlicht 2017