Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings - Bloem, Roderick; Arbel, Eli (Springer International Publishing : Imprint: Springer, 2016)