default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13. Haifa Verification Conference 2017: Haifa, Israel
- Ofer Strichman
, Rachel Tzoref-Brill:
Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings. Lecture Notes in Computer Science 10629, Springer 2017, ISBN 978-3-319-70388-6
Full Papers
- Cuong K. Chau, Warren A. Hunt Jr., Marly Roncken, Ivan E. Sutherland:
A Framework for Asynchronous Circuit Modeling and Verification in ACL2. 3-18 - Manjeet Dahiya, Sorav Bansal:
Modeling Undefined Behaviour Semantics for Checking Equivalence Across Compiler Optimizations. 19-34 - Johannes Kloos, Rupak Majumdar, Frank McCabe:
Deferrability Analysis for JavaScript. 35-50 - Tatsuya Abe:
A Verifier of Directed Acyclic Graphs for Model Checking with Memory Consistency Models. 51-66 - Zhixing Xu, Aarti Gupta, Sharad Malik:
Trace-based Analysis of Memory Corruption Malware Attacks. 67-82 - Martin Sulzmann, Kai Stadtmüller:
Trace-Based Run-Time Analysis of Message-Passing Go Programs. 83-98 - Dirk Beyer, Thomas Lemberger:
Software Verification: Testing vs. Model Checking - A Comparative Evaluation of the State of the Art. 99-114 - Koen Claessen, Jonatan Kilhamn, Laura Kovács, Bengt Lennartson:
A Supervisory Control Algorithm Based on Property-Directed Reachability. 115-130 - Fedor Shmarov, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani:
SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems. 131-146 - Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi:
A Symbolic Approach to Safety ltl Synthesis. 147-162 - Bernhard Beckert, Sarah Grebing, Mattias Ulbrich:
An Interaction Concept for Program Verification Systems with Explicit Proof Object. 163-178 - Marijn J. H. Heule, Benjamin Kiesl, Martina Seidl, Armin Biere:
PRuning Through Satisfaction. 179-194 - Leonardo Alt, Antti E. J. Hyvärinen, Natasha Sharygina:
LRA Interpolants from No Man's Land. 195-210
Tool Papers
- Ariel Rosenfeld, Odaya Kardashov, Orel Zang:
ACAT: A Novel Machine-Learning-Based Tool for Automating Android Application Testing. 213-216 - Mikhail M. Chupilko, Alexander Kamkin, Artem Kotsynyak, Andrei Tatarnikov:
MicroTESK: Specification-Based Tool for Constructing Test Program Generators. 217-220 - George B. Sherwood:
Embedded Functions for Test Design Automation. 221-224 - Bernhard Garn, Fabian Würfl, Dimitris E. Simos:
KERIS: A CT Tool of the Linux Kernel with Dynamic Memory Analysis Capabilities. 225-228 - Suvam Mukherjee, Oded Padon, Sharon Shoham, Deepak D'Souza, Noam Rinetzky:
RATCOP: Relational Analysis Tool for Concurrent Programs. 229-233
Posters
- Luca Pulina, Armando Tacchella:
More Adaptive Does not Imply Less Safe (with Formal Verification). 237-240 - Tom Tervoort, I. S. W. B. Prasetya:
APSL: A Light Weight Testing Tool for Protocols with Complex Messages. 241-244 - Ryo Watanabe, Kozo Okano, Toshifusa Sekizawa:
Towards Verification of Robot Design for Self-localization. 245-248 - Sergey Frenkel:
Probabilistic Model of Control-Flow Altering Based Malicious Attacks - (Poster Submission). 249-252
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-11-26 07:52 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:
