Skip to main content
SpringerLink
Log in

Automated Technology for Verification and Analysis

18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. Dang Van Hung

    1. Vietnam National University (VNU-UET), Hanoi, Vietnam

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Oleg Sokolsky

    1. University of Pennsylvania, Philadelphia, 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 12302)

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

Included in the following conference series:

Conference proceedings info: ATVA 2020.

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 (34 papers)

  1. Front Matter

    Pages i-xiv
    Download chapter PDF

  2. Invited Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. First-Order Timed Runtime Verification Using BDDs

      • Klaus Havelund, Doron Peled
      Pages 3-24

    3. Verified Textbook Algorithms

      • Tobias Nipkow, Manuel Eberl, Maximilian P. L. Haslbeck
      Pages 25-53

  3. Neural Networks and Machine Learning

    1. Front Matter

      Pages 55-55
      Download chapter PDF

    2. Verifying Recurrent Neural Networks Using Invariant Inference

      • Yuval Jacoby, Clark Barrett, Guy Katz
      Pages 57-74

    3. NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks

      • Manish Goyal, Parasara Sridhar Duggirala
      Pages 75-91

    4. DeepAbstract: Neural Network Abstraction for Accelerating Verification

      • Pranav Ashok, Vahid Hashemi, Jan Křetínský, Stefanie Mohr
      Pages 92-107

    5. Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives

      • Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
      Pages 108-124

  4. Automata

    1. Front Matter

      Pages 125-125
      Download chapter PDF

    2. Practical “Paritizing” of Emerson-Lei Automata

      • Florian Renkin, Alexandre Duret-Lutz, Adrien Pommellet
      Pages 127-143

    3. Complexity of Verification and Synthesis of Threshold Automata

      • A. R. Balasubramanian, Javier Esparza, Marijana Lazić
      Pages 144-160

    4. On (I/O)-Aware Good-For-Games Automata

      • Rachel Faran, Orna Kupferman
      Pages 161-178

    5. Urgent Partial Order Reduction for Extended Timed Automata

      • Kim G. Larsen, Marius Mikučionis, Marco Muñiz, Jiří Srba
      Pages 179-195

    6. Eliminating Message Counters in Threshold Automata

      • Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger
      Pages 196-212

  5. Logics

    1. Front Matter

      Pages 213-213
      Download chapter PDF

    2. Context-Aware Temporal Logic for Probabilistic Systems

      • Mahmoud Elfar, Yu Wang, Miroslav Pajic
      Pages 215-232

    3. Multi-head Monitoring of Metric Dynamic Logic

      • Martin Raszyk, David Basin, Dmitriy Traytel
      Pages 233-250

  6. Techniques for Verification, Analysis and Testing

    1. Front Matter

      Pages 251-251
      Download chapter PDF

    2. Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth

      • Ali Asadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Kiarash Mohammadi, Andreas Pavlogiannis
      Pages 253-270
Back to top

Other volumes

  1. Automated Technology for Verification and Analysis

Keywords

About this book

This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020.
The 27 regular papers presented together with 5 tool papers and 2 invited papers were carefully reviewed and selected from 75 submissions.

The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results.

The papers focus on neural networks and machine learning; automata; logics; techniques for verification, analysis and testing; model checking and decision procedures; synthesis; and randomization and probabilistic systems.

Editors and Affiliations

  • Vietnam National University (VNU-UET), Hanoi, Vietnam

    Dang Van Hung

  • University of Pennsylvania, Philadelphia, USA

    Oleg Sokolsky

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation