default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10. Haifa Verification Conference 2014: Haifa, Israel
- Eran Yahav:
Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings. Lecture Notes in Computer Science 8855, Springer 2014, ISBN 978-3-319-13337-9 - John Derrick, Graeme Smith
, Lindsay Groves, Brijesh Dongol:
Using Coarse-Grained Abstractions to Verify Linearizability on TSO Architectures. 1-16 - Yoav Katz, Eitan Marcus, Avi Ziv:
Enhancing Scenario Quality Using Quasi-Events. 17-29 - Georges Morbé, Christian Miller, Christoph Scholl, Bernd Becker:
Combined Bounded and Symbolic Model Checking for Incomplete Timed Systems. 30-47 - Juan Pablo Galeotti, Carlo A. Furia, Eva May, Gordon Fraser, Andreas Zeller:
DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification. 48-53 - Gadi Aleksandrowicz, Alexander Ivrii, Oded Margalit, Dan Rasin:
Generating Modulo-2 Linear Invariants for Hardware Model Checking. 54-67 - Georg Hofferek, Ashutosh Gupta:
Suraq - A Controller Synthesis Tool Using Uninterpreted Functions. 68-74 - Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa:
Synthesizing Finite-State Protocols from Scenarios and Requirements. 75-91 - Robert Könighofer, Ronald Toegl, Roderick Bloem:
Automatic Error Localization for Software Using Deductive Verification. 92-98 - Daniel Grunwald, Christoph Gladisch, Tianhai Liu, Mana Taghdiri, Shmuel S. Tyszberowicz:
Generating JML Specifications from Alloy Expressions. 99-115 - Sergiy Bogomolov, Goran Frehse, Marius Greitschus, Radu Grosu, Corina S. Pasareanu, Andreas Podelski, Thomas Strump:
Assume-Guarantee Abstraction Refinement Meets Hybrid Systems. 116-131 - Oleg Travkin, Heike Wehrheim:
Handling TSO in Mechanized Linearizability Proofs. 132-147 - Eugene Goldberg, Panagiotis Manolios:
Partial Quantifier Elimination. 148-164 - Mikhail Lukin, Maxim Buzdalov, Anatoly Shalyto:
Formal Verification of 800 Genetically Constructed Automata Programs: A Case Study. 165-170 - Duc-Hiep Chu, Joxan Jaffar:
A Framework to Synergize Partial Order Reduction with State Interpolation. 171-187 - Roderick Bloem, Sharad Malik, Matthias Schlaipfer, Georg Weissenbacher:
Reduction of Resolution Refutations and Interpolants via Subsumption. 188-203 - Jeroen Meijer, Gijs Kant, Stefan Blom, Jaco van de Pol:
Read, Write and Copy Dependencies for Symbolic Model Checking. 204-219 - Angelo Gargantini, Paolo Vavassori:
Efficient Combinatorial Test Generation Based on Multivalued Decision Diagrams. 220-235 - Oliver Schwarz, Mads Dam:
Formal Verification of Secure User Mode Device Execution with DMA. 236-251 - Mohammad Reza Shoaei, Laura Kovács, Bengt Lennartson:
Supervisory Control of Discrete-Event Systems via IC3. 252-266 - Alfons Laarman, Anton Wijs:
Partial-Order Reduction for Multi-core LTL Model Checking. 267-283 - Tianhai Liu, Mateus Araújo, Marcelo d'Amorim, Mana Taghdiri:
A Comparative Study of Incremental Constraint Solving Approaches in Symbolic Execution. 284-299
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 2024-11-15 19:20 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:
