Hardware and software, verification and testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers / - Ur, Shmuel.; Bin, Eyal.; Wolfsthal, Yaron. (Lecture notes in computer science,)