Skip to main content
Springer Nature Link
Log in

Automated Technology for Verification and Analysis

20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings

  • Conference proceedings
  • © 2022

Overview

Editors:
  1. Ahmed Bouajjani

    1. Université Paris Diderot, Paris, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Lukáš Holík

    1. Brno University of Technology, Brno, Czech Republic

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Zhilin Wu

    1. Chinese Academy of Sciences, Beijing, China

    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 13505)

Included in the following conference series:

Conference proceedings info: ATVA 2022.

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 64.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This book constitutes the refereed proceedings of the 20th International Symposium on Automated Technology for Verification and Analysis, ATVA 2022, held in Beiging, China in October 2022. 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 21 regular papers presented together with 5 tool papers and 1 invited paper were carefully reviewed and selected from 81 submissions.

The papers are divided into the following topical sub-headings: reinforcement learning; program analysis and verification; smt and verification; automata and applications; active learning; probabilistic and stochastic systems; synthesis and repair; and verification of neural networks.

Similar content being viewed by others

Keywords

Table of contents (27 papers)

  1. Front Matter

    Pages i-xxiii
    Download chapter PDF

  2. Invited Paper

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Learning Monitorable Operational Design Domains for Assured Autonomy

      • Hazem Torfah, Carol Xie, Sebastian Junges, Marcell Vazquez-Chanlatte, Sanjit A. Seshia
      Pages 3-22

  3. Reinforcement Learning

    1. Front Matter

      Pages 23-23
      Download chapter PDF

    2. Dynamic Shielding for Reinforcement Learning in Black-Box Environments

      • Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo
      Pages 25-41

    3. An Impossibility Result in Automata-Theoretic Reinforcement Learning

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

    4. Reusable Contracts for Safe Integration of Reinforcement Learning in Hybrid Systems

      • Julius Adelt, Daniel Brettschneider, Paula Herber
      Pages 58-74

  4. Program Analysis and Verification

    1. Front Matter

      Pages 75-75
      Download chapter PDF

    2. SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification

      • Sören Tempel, Vladimir Herdt, Rolf Drechsler
      Pages 77-82

    3. Fence Synthesis Under the C11 Memory Model

      • Sanjana Singh, Divyanjali Sharma, Ishita Jaju, Subodh Sharma
      Pages 83-99

    4. Checking Scheduling-Induced Violations of Control Safety Properties

      • Anand Yeolekar, Ravindra Metta, Clara Hobbs, Samarjit Chakraborty
      Pages 100-116

    5. Symbolic Runtime Verification for Monitoring Under Uncertainties and Assumptions

      • Hannes Kallwies, Martin Leucker, César Sánchez
      Pages 117-134

  5. SMT and Verification

    1. Front Matter

      Pages 135-135
      Download chapter PDF

    2. Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test

      • Alessandro Cimatti, Alberto Griggio, Enrico Lipparini, Roberto Sebastiani
      Pages 137-153

    3. Verification of SMT Systems with Quantifiers

      • Alessandro Cimatti, Alberto Griggio, Gianluca Redondi
      Pages 154-170

    4. Projected Model Counting: Beyond Independent Support

      • Jiong Yang, Supratik Chakraborty, Kuldeep S. Meel
      Pages 171-187

  6. Automata and Applications

    1. Front Matter

      Pages 189-189
      Download chapter PDF

    2. Minimization of Automata for Liveness Languages

      • Bader Abu Radi, Orna Kupferman
      Pages 191-207

    3. Temporal Causality in Reactive Systems

      • Norine Coenen, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger, Julian Siber
      Pages 208-224

    4. PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems

      • Peter G. Jensen, Stefan Schmid, Morten K. Schou, Jiří Srba
      Pages 225-230
Back to top

Other volumes

  1. Automated Technology for Verification and Analysis

Editors and Affiliations

  • Université Paris Diderot, Paris, France

    Ahmed Bouajjani

  • Brno University of Technology, Brno, Czech Republic

    Lukáš Holík

  • Chinese Academy of Sciences, Beijing, China

    Zhilin Wu

Bibliographic Information

Publish with us

Policies and ethics

Back to top