Haifa Verification Conference 2010 – Program " ! #$ # % * $ ' ! ! 1 & ' ! & # ! ! "# $ % # & & & # ! ( )! * ,' " + " % 1 "% ' !' ! ! '( # ) 0 - - 2 % , & 2 2' # 3 4% 2 ' 3 ( ! Abstraction-Guided Synthesis of Synchronization *! ' ! - ! 1 %* + % ! ! " . / .0 5 6 12 & " !' !' ' ! $ 2 - & https://www.research.ibm.com/haifa/conferences/hvc2010 ' !