default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6. Haifa Verification Conference 2010: Haifa, Israel
- Sharon Barner, Ian G. Harris, Daniel Kroening, Orna Raz:
Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers. Lecture Notes in Computer Science 6504, Springer 2011, ISBN 978-3-642-19582-2 - João Lourenço
:
Understanding Transactional Memory (Extended Abstract). 1-2 - Clark W. Barrett, Leonardo Mendonça de Moura, Silvio Ranise, Aaron Stump, Cesare Tinelli:
The SMT-LIB Initiative and the Rise of SMT - (HVC 2010 Award Talk). 3 - Shmuel Ur:
Testing Concurrent Software. 4 - Joseph Gil:
Reflections on Spartan Programming and the No-Debugger Principle. 5-8 - Andreas Holzer, Michael Tautschnig, Christian Schallhart, Helmut Veith:
An Introduction to Test Specification in FQL. 9-22 - Valeria Bertacco:
Verification Failures: What to Do When Things Go Wrong. 23 - Yoav Hollander, Alan J. Hu, João Lourenço, Ronny Morad:
Special Session on Debugging. 24-28 - Robert Könighofer, Georg Hofferek, Roderick Bloem:
Debugging Unrealizable Specifications with Model-Based Diagnosis. 29-45 - Ariel Cohen, Kedar S. Namjoshi, Yaniv Sa'ar, Lenore D. Zuck, Katya I. Kisyova:
Parallelizing a Symbolic Compositional Model-Checking Algorithm. 46-59 - Allon Adir, Amir Nahir, Avi Ziv, Charles Meissner, John Schumann:
Reaching Coverage Closure in Post-silicon Validation. 60-75 - Hana Chockler, Arie Gurfinkel, Ofer Strichman:
Variants of LTL Query Checking. 76-92 - Eugene Goldberg, Panagiotis Manolios:
SAT-Solving Based on Boundary Point Elimination. 93-111 - Charalambos Ioannides, Geoff Barrett, Kerstin Eder:
Feedback-Based Coverage Directed Test Generation: An Industrial Evaluation. 112-128 - Michael Katelman, José Meseguer:
vlogsl: A Strategy Language for Simulation-Based Verification of Hardware. 129-145 - John M. Ludden, Michal Rimon, Bryan G. Hickerson, Allon Adir:
Advances in Simultaneous Multithreading Testcase Generation Methods. 146-160 - Uri Klein, Amir Pnueli:
Revisiting Synthesis of GR(1) Specifications. 161-181 - Simone Rollini, Roberto Bruttomesso, Natasha Sharygina:
An Efficient and Flexible Approach to Resolution Proof Reduction. 182-196
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 22:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
