Abstract is missing.
- A Framework for Asynchronous Circuit Modeling and Verification in ACL2Cuong K. Chau, Warren A. Hunt Jr., Marly Roncken, Ivan E. Sutherland. 3-18 [doi]
- Modeling Undefined Behaviour Semantics for Checking Equivalence Across Compiler OptimizationsManjeet Dahiya, Sorav Bansal. 19-34 [doi]
- Deferrability Analysis for JavaScriptJohannes Kloos, Rupak Majumdar, Frank McCabe. 35-50 [doi]
- A Verifier of Directed Acyclic Graphs for Model Checking with Memory Consistency ModelsTatsuya Abe. 51-66 [doi]
- Trace-based Analysis of Memory Corruption Malware AttacksZhixing Xu, Aarti Gupta, Sharad Malik. 67-82 [doi]
- Trace-Based Run-Time Analysis of Message-Passing Go ProgramsMartin Sulzmann, Kai Stadtmüller. 83-98 [doi]
- Software Verification: Testing vs. Model Checking - A Comparative Evaluation of the State of the ArtDirk Beyer, Thomas Lemberger. 99-114 [doi]
- A Supervisory Control Algorithm Based on Property-Directed ReachabilityKoen Claessen, Jonatan Kilhamn, Laura Kovács, Bengt Lennartson. 115-130 [doi]
- SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid SystemsFedor Shmarov, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani. 131-146 [doi]
- A Symbolic Approach to Safety ltl SynthesisShufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi. 147-162 [doi]
- An Interaction Concept for Program Verification Systems with Explicit Proof ObjectBernhard Beckert, Sarah Grebing, Mattias Ulbrich. 163-178 [doi]
- PRuning Through SatisfactionMarijn J. H. Heule, Benjamin Kiesl, Martina Seidl, Armin Biere. 179-194 [doi]
- LRA Interpolants from No Man's LandLeonardo Alt, Antti E. J. Hyvärinen, Natasha Sharygina. 195-210 [doi]
- ACAT: A Novel Machine-Learning-Based Tool for Automating Android Application TestingAriel Rosenfeld, Odaya Kardashov, Orel Zang. 213-216 [doi]
- MicroTESK: Specification-Based Tool for Constructing Test Program GeneratorsMikhail M. Chupilko, Alexander Kamkin, Artem Kotsynyak, Andrei Tatarnikov. 217-220 [doi]
- Embedded Functions for Test Design AutomationGeorge B. Sherwood. 221-224 [doi]
- KERIS: A CT Tool of the Linux Kernel with Dynamic Memory Analysis CapabilitiesBernhard Garn, Fabian Würfl, Dimitris E. Simos. 225-228 [doi]
- RATCOP: Relational Analysis Tool for Concurrent ProgramsSuvam Mukherjee, Oded Padon, Sharon Shoham, Deepak D'Souza, Noam Rinetzky. 229-233 [doi]
- More Adaptive Does not Imply Less Safe (with Formal Verification)Luca Pulina, Armando Tacchella. 237-240 [doi]
- APSL: A Light Weight Testing Tool for Protocols with Complex MessagesTom Tervoort, I. S. W. B. Prasetya. 241-244 [doi]
- Towards Verification of Robot Design for Self-localizationRyo Watanabe, Kozo Okano, Toshifusa Sekizawa. 245-248 [doi]
- Probabilistic Model of Control-Flow Altering Based Malicious Attacks - (Poster Submission)Sergey Frenkel. 249-252 [doi]