This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |
| haifa12 [2012/11/18 08:06] – eran.yahav | haifa12 [2012/11/18 08:07] (current) – eran.yahav |
|---|
| | 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 | |