Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
haifa12 [2012/11/18 08:06] eran.yahav |
haifa12 [2012/11/18 08:07] (current) eran.yahav |
||
|---|---|---|---|
| Line 69: | Line 69: | ||
| | 14:00-14:25 | {{:haifa12-simone.pdf|Interpolant Strength in Model Checking}} | Simone Rollini | | | 14:00-14:25 | {{:haifa12-simone.pdf|Interpolant Strength in Model Checking}} | Simone Rollini | | ||
| | 14:25-14:50 | {{:haifa12-asanchez.pdf|Assisted Verification of Invariance for Parametrized Systems}} | Alejandro Sánchez | | | 14:25-14:50 | {{:haifa12-asanchez.pdf|Assisted Verification of Invariance for Parametrized Systems}} | Alejandro Sánchez | | ||
| - | | 14:50-15:15 | {{:haifa12-maria.ppt|Interpolation for resolution and superposition}} | Maria Paola Bonacina | | + | | 14:50-15:15 | {{:haifa12-maria.pdf|Interpolation for resolution and superposition}} | Maria Paola Bonacina | |
| | 15:15-15:30 | short break || | | 15:15-15:30 | short break || | ||
| | 15:30-15:55 | {{:haifa12-philippe.pdf|Reductions for Synthesis Procedures}} | Philippe Suter | | | 15:30-15:55 | {{:haifa12-philippe.pdf|Reductions for Synthesis Procedures}} | Philippe Suter | | ||