Program Day 2 - Wednesday 6/11/2013

08:30 Registration

09:00 Keynote: Recent Advances in Model Checking,
Prof. Robert K. Brayton, University of California, Berkeley

10:00 Break

10:30 Session 4: Supporting Dynamic Verification
Chair: Axel Legay

10:30 SLAM: SLice And Merge – Effective Test Generation for Large Systems,
Tali Rabetti, Ronny Morad, Alex Goryachev, Wisam Kadry, and Richard D. Peterson

10:55 Improving Post-Silicon Validation Efficiency by Using Pre-Generated Data,
Amir Nahir, Wisam Kadry, Anatoly Koyfman, Dmitry Krestyashyn, Shimon Landa, and Vitali Sokhin

11:20 Development and Verification of Complex Hybrid Systems using Synthesizable Monitors,
Tamer Salman, Allon Adir, Lev Greenberg, Andreas Abel, and Torsten Blochwitz

11:45 Assertion Checking using Dynamic Inference,
Anand Yeolekar and Divyesh Unadkat

12:10 Break

12:40 Session 5: Specification and Coverage
Chair: Cindy Eisner

12:40 Formal Specification of an Erase Block Management Layer for Flash Memory,
Jörg Pfähler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, and Wolfgang Reif

13:05 Attention-based Coverage Metrics,
Shoham Ben-David, Hana Chockler, and Orna Kupferman

13:30 Lunch

14:30 Keynote Speaker: Synthesis of Concurrent Programs Using Genetic Programming,
Prof. Doron Peled, Bar-Ilan University, Israel

15:30 Excursion