Skip to main content
  • Conference proceedings
  • © 2018

Automated Technology for Verification and Analysis

16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11138)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Conference series link(s): ATVA: International Symposium on Automated Technology for Verification and Analysis

Conference proceedings info: ATVA 2018.

Buying options

eBook USD 79.99
Price excludes VAT (USA)
  • ISBN: 978-3-030-01090-4
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 99.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (35 papers)

  1. Front Matter

    Pages I-XIII
  2. Invited Papers

    1. Front Matter

      Pages 1-1
    2. DeepSafe: A Data-Driven Approach for Assessing Robustness of Neural Networks

      • Divya Gopinath, Guy Katz, Corina S. Păsăreanu, Clark Barrett
      Pages 3-19
    3. Formal Specification for Deep Neural Networks

      • Sanjit A. Seshia, Ankush Desai, Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim et al.
      Pages 20-34
  3. Regular Papers

    1. Front Matter

      Pages 35-35
    2. Optimal Proofs for Linear Temporal Logic on Lasso Words

      • David Basin, Bhargav Nagaraja Bhatt, Dmitriy Traytel
      Pages 37-55
    3. What’s to Come is Still Unsure

      • Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter N. Mosaad, Naijun Zhan
      Pages 56-74
    4. A Formally Verified Motion Planner for Autonomous Vehicles

      • Albert Rizaldi, Fabian Immler, Bastian Schürmann, Matthias Althoff
      Pages 75-90
    5. Robustness Testing of Intermediate Verifiers

      • YuTing Chen, Carlo A. Furia
      Pages 91-108
    6. Simulation Algorithms for Symbolic Automata

      • Lukáš Holík, Ondřej Lengál, Juraj Síč, Margus Veanes, Tomáš Vojnar
      Pages 109-125
    7. Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems

      • Chih-Hong Cheng, Chung-Hao Huang, Hirotoshi Yasuoka
      Pages 126-142
    8. Recursive Online Enumeration of All Minimal Unsatisfiable Subsets

      • Jaroslav Bendík, Ivana Černá, Nikola Beneš
      Pages 143-159
    9. Synthesis in pMDPs: A Tale of 1001 Parameters

      • Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
      Pages 160-176
    10. Temporal Logic Verification of Stochastic Systems Using Barrier Certificates

      • Pushpak Jagtap, Sadegh Soudjani, Majid Zamani
      Pages 177-193
    11. Bisimilarity Distances for Approximate Differential Privacy

      • Dmitry Chistikov, Andrzej S. Murawski, David Purser
      Pages 194-210
    12. A Symbolic Algorithm for Lazy Synthesis of Eager Strategies

      • Swen Jacobs, Mouhammad Sakr
      Pages 211-227
    13. Modular Verification of Concurrent Programs via Sequential Model Checking

      • Dan Rasin, Orna Grumberg, Sharon Shoham
      Pages 228-247
    14. Quantifiers on Demand

      • Arie Gurfinkel, Sharon Shoham, Yakir Vizel
      Pages 248-266
    15. Signal Convolution Logic

      • Simone Silvetti, Laura Nenzi, Ezio Bartocci, Luca Bortolussi
      Pages 267-283

Other Volumes

  1. Automated Technology for Verification and Analysis

    16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

About this book

This book constitutes the refereed proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018.

The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions. 

The symposium is dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field.

Keywords

  • artificial intelligence
  • formal logic
  • formal methods
  • Markov chains
  • model checker
  • model checking
  • neural networks
  • probability
  • software engineering
  • software evaluation
  • specifications
  • temporal logic
  • verification

Editors and Affiliations

  • Microsoft Research, Redmond, USA

    Shuvendu K. Lahiri

  • University of Southern California, Los Angeles, USA

    Chao Wang

Bibliographic Information

Buying options

eBook USD 79.99
Price excludes VAT (USA)
  • ISBN: 978-3-030-01090-4
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 99.99
Price excludes VAT (USA)