Hardware and Software: Verification and Testing

This book constitutes the refereed proceedings of the 13th InternationalHaifa Verification Conference, HVC 2017, held in Haifa, Israel inNovember 2017.The 13 revised full papers presented together with 4 poster and 5 tool demo paperswere carefully reviewed and selected from 45 submissions. They are dedicatedto advance the state of the art and state of the practice in verification andtesting and are discussing future directions of testing and verificationfor hardware, software, and complex hybrid systems.