Studienhandbuch | VL Advanced Model Checking

Studienhandbuch-Login
User ID Password
.

Inhalt

[ INMAWVOAMCH ] VL ^(*)Advanced Model Checking

Versionsauswahl

^(*) Unfortunately this information is not available in english.

Workload	Education level	Study areas	Responsible person	Hours per week	Coordinating university
3 ECTS	M2 - Master's programme 2. year	Computer Science	Armin Biere	2 hpw	Johannes Kepler University Linz

Detailed information
Original study plan	Master's programme Computer Science (discontinuing) 2012W
Objectives	^(*)SAT and BDD-based symbolic model checking
Subject	^(*)SAT problem, SAT algorithms, DPLL, learning, SAT encoding, time frame expansion, bounded model checking, simple path constraints, image computation, interpolation, BDD based symbolic model checking
Criteria for evaluation
Language	English
Changing subject?	No

On-site course
Maximum number of participants	-
Assignment procedure	Direct assignment