Haifa Verification Conference 2010 – Program ! #! % " $ & ! ! # ' https://www.research.ibm.com/haifa/conferences/hvc2010