Statische Programmanalyse: Introduction to Program Analysis (Di, 18.10.2016)

Anmeldung erforderlich

Benutzername/Passwort

RWTH

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

Anmelden
  • Einbetten

Beschreibung:

Literature

Kapitel:

00:07:08
Introduction - visual
00:09:45
Fundamental Limits
00:14:11
Two solution: weaker models
00:16:23
Two solution: weaker analysis
00:19:33
Soundness
00:21:49
Completeness
00:25:26
Correctness
00:27:21
Scalability
00:28:47
Practiabillity
00:30:17
Model Language: WHILE
00:37:30
Example WHILE Program
00:39:10
Flow Diagram
00:41:58
Overview of the Lecture
00:55:09
Literature List