Loading…
FB20 Computer Science · Offered in WiSe 2025/26
No grade data reported for this course yet.
Grade distributions arrive when a student who took the course opens their Notenspiegel with the TUPlan extension installed.
No ratings yet — be the first.
Your vote is stored against a random id in this browser. No account, nothing that identifies you.
No weekly sessions listed.
In dem Seminar werden aktuelle Verifikationstools und Beweisassistenten vorgestellt. Es werden dabei sowohl die theoretischen Grundlagen auf denen die Werkzeuge aufbauen vorgestellt, als auch deren praktische Anwendung anhand einer gemeinsamen Beispielsammlung. Damit soll ein Vergleich der unterschiedlichen Ansätze ermöglicht werden.
No exam date published.
Add to plannerTimes, rooms and details come from TUCaN and may be out of date. Report something wrong