Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing