Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
svarm11:program [2011/04/12 17:24] cesar.sanchez |
svarm11:program [2011/04/12 17:27] cesar.sanchez |
||
|---|---|---|---|
| Line 52: | Line 52: | ||
| ^ 09:00 - 10:20 ^ ^ SESSION 7 ^ ^ | ^ 09:00 - 10:20 ^ ^ SESSION 7 ^ ^ | ||
| | 09:00 | Darko Marinov | Invited talk: Systematic Software Testing Using Test Abstractions | | | | 09:00 | Darko Marinov | Invited talk: Systematic Software Testing Using Test Abstractions | | | ||
| - | | 10:00 | Tuomas Launiainen | Efficient model checking of PSL safety properties | | | + | | 10:00 | Tuomas Launiainen | Efficient model checking of PSL safety properties | {{:svarm11:tuomasslides.pdf|slides}} | |
| | | | | | | | | | | | | ||
| ^ 10:30 - 11:00 ^ ** Coffee Break ** ^ ^ ^ | ^ 10:30 - 11:00 ^ ** Coffee Break ** ^ ^ ^ | ||