TUM - Chair VII - Foundations of Software Reliability and Theoretical Computer Science


	Courses


	Model Checking

held by:

Univ.-Prof. Dr. Helmut Veith †

held in:

SS 2007

schedule:

Wednesday, 08:30 - 11:00 (MI HS3)
start date: 2007-04-18 / end date: 2007-07-21

Thursday, 12:30 - 14:00 (03.11.018)
start date: 2007-04-19 / end date: 2007-07-21

news:

Die nächste Vorlesung findet am Donnerstag, 12.7. statt.

sws:

Bereich:
4 SWS Wahlpflicht-Vorlesung im Bereich Informatik III (Theoretische Informatik)
Wahlfach aus dem Fachgebiet "Formale Methoden und ihre Anwendungen" (FMA)

Hörerkreis:
Studierende im Hauptstudium der Informatik
Studierende im Master-Studiengang Informatik
Studierende mit Nebenfach Informatik

Übung:
Alle Informationen zur Übung finden Sie hier

Mailingliste

Um aktuelle Informationen zu erhalten, tragen Sie sich bitte in die Mailingliste ein: hier

downloadable material:

slides

	title / description	download
	Temporal Logic Model Checking	click here...
	Basic Fixpoint Theorems	click here...
	Binary Decision Diagrams	click here...
	Symbolic Model Checking	click here...
	SMV	click here...
	Simulation / Abstraction	click here...
	Folien SAT Solving	click here...
	Folien Anwendung von SAT-Solvern	click here...
	Bounded Model Checking	click here...
	LTL Model Checking	click here...
	LTL-Büchi Transformation	click here...
	SPIN	click here...
	Partial Order Reduction	click here...
	Software Model Checking	click here...
	Verification Across Intellectual Property Boundaries	click here...