News

Presentations: Presentations are available in http://www.haifa.il.ibm.com/Workshops/verification2002/agenda.html. We will continue to post presentations as they become available. Publications: An article regarding the verification seminar was published. See http://www.haifa.il.ibm.com/info/news_ibm_verification.html. Verification seminar forges the bonds between research, academia, and industry.