Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
madrid13 [2013/10/10 19:28] enric.rodriguez.carbonell |
madrid13 [2013/10/10 19:29] enric.rodriguez.carbonell |
||
---|---|---|---|
Line 30: | Line 30: | ||
^ ^ Title ^ Speaker ^ | ^ ^ Title ^ Speaker ^ | ||
^ SESSION 4 ^ Program Verification and Reliability (Chair: Enric Rodriguez-Carbonell) ^^ | ^ SESSION 4 ^ Program Verification and Reliability (Chair: Enric Rodriguez-Carbonell) ^^ | ||
- | | 9:00-10:00 | Invited Talk : {{:madrid13-abs-Willem-Visser.pdf|Willem Visser | Model Counting >= Symbolic Execution}} | | + | | 9:00-10:00 | Invited Talk : Willem Visser | {{:madrid13-abs-Willem-Visser.pdf|Model Counting >= Symbolic Execution}} | |
| 10:00 - 10:30 | ** Coffee break ** || | | 10:00 - 10:30 | ** Coffee break ** || | ||
| 10:30 - 11:00 | Radu Iosif | {{:madrid13-abs-Radu-Iosif.pdf|Safety Problems are NP-complete for Flat Integer Programs with Octagonal Loops}} | | | 10:30 - 11:00 | Radu Iosif | {{:madrid13-abs-Radu-Iosif.pdf|Safety Problems are NP-complete for Flat Integer Programs with Octagonal Loops}} | |