Edit course information: Project Group "Model Checking" (SS2018)

Du bist aus dem folgenden Grund nicht berechtigt, diese Seite bearbeiten:

Diese Aktion ist auf Benutzer beschränkt, die der Gruppe „Benutzer“ angehören.

Course description

Title:	Project Group “Model Checking” Name of the lecture, in the language of the lecture
Research group:	Research groups offering this lecture; use Ctrl+click to select multiple groups
Lecturers:	List of lecturers, separated by semicolon
Tutors:	List of exercise tutors, separated by semicolon
Term:	Semester of this lecture; for winter semesters, the start year is used, e.g., WS 2014 for WS 2014/2015
Lecture series:	List of lecture series this lecture belongs to
Matrix channel:	Matrix channel associated with the course, e.g., `#example:example.org`
Modules:	Associated module ids, separated by commas
SWS:	// SWS for lectures/exercises/practicals
Type of examination:	Klausur mündliche Prüfung Hausarbeit Referat nach Modulbeschreibung Type(s) of examination; could be more than one; documentation of possible values
Description:	This course offers advanced topics in the field of verification and model checking. It is meant for students enrolled in the Master's program “Computational Logic”. The tasks are usually taken from our current projects and cover programming and theoretical problems as well. At the end of the course, the students have to give a short talk (30 min) about their work and their achieved results. === Registration and Dates === To participate, please register using the form on the [https://www.inf.tu-dresden.de/index.php?node_id=3813 course hompage] until Sunday, April 15th, 2018. === Prerequisites === * Profound knowledge in model checking, acquired in the lecture “Model Checking” or another, similar course at a partner university * Solid foundations in algorithms and data structures, in automata theory and formal languages as well as in complexity theory * Basic mathematical foundations * Programming skills in C/C++ are beneficial, unless you are interested in a purely theoretical topic === Course Homepage === Further details can be found [https://www.inf.tu-dresden.de/index.php?node_id=3813 here]. Description of topics and goals.
Literature:	Literature list (free text), use "*" at the start of lines to create bulleted lists

Dates of lectures and exercises

Weitere hinzufügen

Zusammenfassung:

Abbrechen