About cookies on this site Our websites require some cookies to function properly (required). In addition, other cookies may be used with your consent to analyze site usage, improve the user experience and for advertising. For more information, please review your options. By visiting our website, you agree to our processing of information as described in IBM’sprivacy statement. To provide a smooth navigation, your cookie preferences will be shared across the IBM web domains listed here.
HVC 2011
Haifa Verification Conference 2011
December 6-8, 2011
Tutorials: December 5, 2011
Organized by IBM R&D Labs in Israel
Invited Speakers and Special Sessions
- Kathryn Kranen, President and Chief Executive Officer, Jasper Design Automation
Title: Pioneering the Future of Verification: A Spiral of Technological and Business Innovation - Ben Liblit, University of Wisconsin–Madison
Title: Automated Detection and Repair of Concurrency Bugs - Klaus-Dieter Schubert, IBM Deutschland Research and Development GmbH
Title: Verification Challenges of workload optimized hardware systems - Armin Biere, Johannes Kepler University, Linz
Title: Preprocessing and Inprocessing Techniques in SAT
Proceedings Publication
Springer Lecture Notes in Computer Science
HVC 2011 Poster
