![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
6. 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.