Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Last revision Both sides next revision | ||
haifa12 [2012/11/18 08:03] eran.yahav |
haifa12 [2012/11/18 08:06] 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 | Interpolation for resolution and superposition | Maria Paola Bonacina | | + | | 14:50-15:15 | {{:haifa12-maria.ppt|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 | |