Accepted Posters
- Mats Carlsson , Olga Grinchtein, Justin Pearson and Catherine Dubois
Protocol log analysis with constraint programming - Fedor Shmarov and Paolo Zuliani
Guaranteed Parameter Set Synthesis for Hybrid Systems - Achiya Elyasaf, Assaf Marron and Gera Weiss
Hierarchical Live Sequence Charts - Dor Cohen and Ofer Strichman
Entropy’s impact on selected SAT heuristics - Shlomi Dolev, Roman Manevich and Amit Rokach
Programming Reflexes
Keynote Speakers
- Prof. Swarat Chaudhuri, Rice University
- Dr. Markulf Kohlweiss, Researcher, Microsoft Research
- Dr. Rajeev K. Ranjan, Senior Group Director, R&D Formal and Automated verification, Cadence
- Prof. Andreas Veneris, University of Toronto