Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings - Piterman, Nir.; Piterman, Nir. (Springer International Publishing : Imprint: Springer, 2015)