Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2022

Automated Technology for Verification and Analysis

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

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)

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

Conference proceedings info: ATVA 2022.

Sections

Buy it now

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

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

Table of contents (27 papers)

  1. Front Matter

    Pages i-xxiii
    PDF

  2. Invited Paper

    1. Front Matter

      Pages 1-1
      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
      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
      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
      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
      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

Back to top

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.

Back to top

Keywords

Back to top

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

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation