Skip to main content
SpringerLink
Log in

Automated Technology for Verification and Analysis

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

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. Shuvendu K. Lahiri

    1. Microsoft Research, Redmond, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Chao Wang

    1. University of Southern California, Los Angeles, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: ATVA 2018.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (35 papers)

  1. Front Matter

    Pages I-XIII
    Download chapter PDF

  2. Invited Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    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
      Download chapter PDF

    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

    16. Efficient Symbolic Representation of Convex Polyhedra in High-Dimensional Spaces

      • Bernard Boigelot, Isabelle Mainz
      Pages 284-299
Back to top

Other volumes

  1. Automated Technology for Verification and Analysis

Keywords

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.

Editors and Affiliations

  • Microsoft Research, Redmond, USA

    Shuvendu K. Lahiri

  • University of Southern California, Los Angeles, USA

    Chao Wang

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation