4. Haifa Verification Conference 2008: Haifa, Israel

Hana Chockler, Alan J. Hu (Eds.): Hardware and Software: Verification and Testing, 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings. Lecture Notes in Computer Science 5394 Springer 2009, ISBN 978-3-642-01701-8 BibTeX

Invited Talks

Daniel Jackson:
Hazards of Verification. 1
Electronic Edition (link) BibTeX
Moshe Y. Vardi:
Automata-Theoretic Model Checking Revisited. 2
Electronic Edition (link) BibTeX
Ken McMillan:
Proofs, Interpolants, and Relevance Heuristics. 3
Electronic Edition (link) BibTeX
Yoav Hollander:
Is Verification Getting Too Complex? 4
Electronic Edition (link) BibTeX
Brian Bailey:
Can Mutation Analysis Help Fix Our Broken Coverage Metrics?. 5
Electronic Edition (link) BibTeX
Carl Pixley:
Practical Considerations Concerning HL-to -RT Equivalence Checking. 6
Electronic Edition (link) BibTeX

Regular Papers

Dana Fisman, Orna Kupferman, Sarai Sheinvald-Faragy, Moshe Y. Vardi:
A Framework for Inherent Vacuity. 7-22
Electronic Edition (link) BibTeX
Neha Rungta, Eric G. Mercer:
A Meta Heuristic for Effectively Detecting Concurrency Errors. 23-37
Electronic Edition (link) BibTeX
Kerstin Bauer, Raffaella Gentilini, Klaus Schneider:
A Uniform Approach to Three-Valued Semantics for µ-Calculus on Abstractions of Hybrid Automata. 38-52
Electronic Edition (link) BibTeX
Dorit Baras, Laurent Fournier, Avi Ziv:
Automatic Boosting of Cross-Product Coverage Using Bayesian Networks. 53-67
Electronic Edition (link) BibTeX
Malay K. Ganai:
Efficient Decision Procedure for Bounded Integer Non-linear Operations Using SMT(). 68-83
Electronic Edition (link) BibTeX
Yoram Adler, Dale Blue, Thomas Conti, Richard Prewitt, Shmuel Ur:
Evaluating Workloads Using Comparative Functional Coverage. 84-98
Electronic Edition (link) BibTeX
Cyrille Artho:
Iterative Delta Debugging. 99-113
Electronic Edition (link) BibTeX
Omer Bar-Ilan, Oded Fuhrmann, Shlomo Hoory, Ohad Shacham, Ofer Strichman:
Linear-Time Reductions of Resolution Proofs. 114-128
Electronic Edition (link) BibTeX
Miguel E. Andrés, Pedro R. D'Argenio, Peter van Rossum:
Significant Diagnostic Counterexamples in Probabilistic Model Checking. 129-148
Electronic Edition (link) BibTeX
Edmund M. Clarke, Alexandre Donzé, Axel Legay:
Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Delta-Sigma Modulator. 149-163
Electronic Edition (link) BibTeX
Cindy Eisner, Dana Fisman:
Structural Contradictions. 164-178
Electronic Edition (link) BibTeX
Antti Jääskeläinen, Antti Kervinen, Mika Katara, Antti Valmari, Heikki Virtanen:
Synthesizing Test Models from Test Cases. 179-193
Electronic Edition (link) BibTeX

Tool Papers

Malay K. Ganai, Weihong Li:
d-TSR: Parallelizing SMT-Based BMC Using Tunnels over a Distributed Framework. 194-199
Electronic Edition (link) BibTeX
Thomas J. Ostrand, Elaine J. Weyuker:
Progress in Automated Software Defect Prediction. 200-204
Electronic Edition (link) BibTeX
Moran Shochat, Orna Raz, Eitan Farchi:
SeeCode - A Code Review Plug-in for Eclipse. 205-209
Electronic Edition (link) BibTeX
Ziv Nevo:
User-Friendly Model Checking: Automatically Configuring Algorithms with RuleBase/PE. 210-214
Electronic Edition (link) BibTeX