Hardware and Software Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings / - Strichman, Ofer. (Springer International Publishing,)