20-00-0702

Symbolische Ausführung

FB20 Informatik · Angeboten in SoSe 2026, SoSe 2025

Notenverteilung

Mittel der Semesterschnitte

1.89

Jedes Semester zählt gleich, unabhängig von seiner Größe.

Gewichteter Gesamtschnitt

1.89

Nach Kohortengröße gewichtet — der Schnitt über alle Ergebnisse hinweg.

Bestehensquote

100%

Anteil der Ergebnisse von 4,0 oder besser. 4,0 ist die letzte bestandene Note.

Semester mit Daten

1

Die deutsche Skala reicht von 1,0 (beste) bis 4,0 (letzte bestandene Note), 5,0 ist nicht bestanden. Eine 4,3 gibt es nicht.

Nach Semester

SoSe 2025

∅ 1.8899 Ergebnisse0% durchgefallenVon der Wartung eingetragen

2(22.2%)

1,0

2(22.2%)

1,3

2(22.2%)

1,7

0(0.0%)

2,0

1(11.1%)

2,3

1(11.1%)

2,7

0(0.0%)

3,0

0(0.0%)

3,3

0(0.0%)

3,7

1(11.1%)

4,0

0(0.0%)

5,0

Gemeldet am 31.08.2026

Hat sich der Kurs gelohnt?

Noch keine Bewertungen — mach den Anfang.

Deine Bewertung hängt an einer zufälligen ID in diesem Browser. Kein Konto, nichts, was dich identifiziert.

Wöchentliche Termine

Keine wöchentlichen Termine hinterlegt.

Bestandteile

20-00-0702-seSeminar2 SWS

Sprache: Deutsch und Englisch
Lehrende: Prof. Dr. rer. nat. Reiner Hähnle, Dr. rer. nat. Richard Bubel

Lehrinhalte

Symbolische Ausführung von Programmen ist eine fundamentale Analysetechnik, die u.a. die Basis von Testgenerierung, Compileroptimierung, Verifikation oder Visualisierung darstellt. In den letzten Jahren wurden darin bedeutende Fortschritte erzielt. Im Seminar werden die wichtigsten klassischen und neuen Arbeiten zur symbolischen Ausführung vorgestellt.

Prüfungstermine

Kein Prüfungstermin veröffentlicht.

Zum Stundenplan hinzufügen

Termine, Räume und Angaben stammen aus TUCaN und können veraltet sein. Falsche Angabe melden