Model Counting opens new doors for Program Analysis

Part of the series HPI Colloquium (WT 2014/15)
Model Counting opens new doors for Program Analysis Prof. Willem Visser

Date: October 23, 2014
Language: English
Duration: 00:50:56
Copy link to current video position
tele-TASK now provides the ability to create playlists. You can create your own playlist based on this lecture or view playlists containing this lecture.
Show