DiscoverHPI Colloquium (WT 2014/15) - tele-TASKModel Counting opens new doors for Program Analysis
Model Counting opens new doors for Program Analysis

Model Counting opens new doors for Program Analysis

Update: 2014-10-23
Share

Description

Comments 
00:00
00:00
x

0.5x

0.8x

1.0x

1.25x

1.5x

2.0x

3.0x

Sleep Timer

Off

End of Episode

5 Minutes

10 Minutes

15 Minutes

30 Minutes

45 Minutes

60 Minutes

120 Minutes

Model Counting opens new doors for Program Analysis

Model Counting opens new doors for Program Analysis

Prof. Willem Visser