Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Last revision Both sides next revision | ||
|
svarm:program [2010/08/12 22:49] piskac |
svarm:program [2010/08/20 12:39] piskac |
||
|---|---|---|---|
| Line 45: | Line 45: | ||
| | 09:00 | | //Session Chair: Tobias Nipkow// | | | 09:00 | | //Session Chair: Tobias Nipkow// | | ||
| - | | 09:00 | Bernhard Beckert | Formal Verification of System Software | | + | | 09:00 | Bernhard Beckert | Formal Verification of System Software {{:svarm:beckertSlides.pdf|slides}} | |
| ^ 10:00 - 10:20 ^ **Coffee Break** ^ ^ | ^ 10:00 - 10:20 ^ **Coffee Break** ^ ^ | ||
| | 10:20 | | //Session Chair: Tayssir Touili// | | | 10:20 | | //Session Chair: Tayssir Touili// | | ||