Statische Programmanalyse: Abstract Interpretation 6 (Di, 10.01.2017)
Zur Veranstaltungsseite

Anmeldung erforderlich

Benutzername/Passwort

RWTH

Für RWTH-Angehörige und aus dem RWTH-Netz verfügbar

Anmelden
  • Einbetten

Beschreibung:

Counterexample-Guided Abstraction Refinement
(CEGAR)