Skip to main content
SpringerLink
Log in

Automated Technology for Verification and Analysis

19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings

  • Conference proceedings
  • © 2021

Overview

Editors:
  1. Zhe Hou

    1. Griffith University, Brisbane, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Vijay Ganesh

    1. University of Waterloo, Waterloo, Canada

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

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

Included in the following conference series:

Conference proceedings info: ATVA 2021.

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

Licence this eBook for your library

Institutional subscriptions

Table of contents (24 papers)

  1. Probabilistic Analysis

    1. Probabilistic Causes in Markov Chains

      • Christel Baier, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek
      Pages 205-221

    2. TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments

      • Stefan Pranger, Bettina Könighofer, Lukas Posch, Roderick Bloem
      Pages 222-228

    3. AQUA: Automated Quantized Inference for Probabilistic Programs

      • Zixin Huang, Saikat Dutta, Sasa Misailovic
      Pages 229-246

  2. Software and Hardware Verification

    1. Front Matter

      Pages 247-247
      Download chapter PDF

    2. Proving SIFA Protection of Masked Redundant Circuits

      • Vedad Hadžić, Robert Primas, Roderick Bloem
      Pages 249-265

    3. Verification by Gambling on Program Slices

      • Murad Akhundov, Federico Mora, Nick Feng, Vincent Hui, Marsha Chechik
      Pages 266-282

    4. Runtime Enforcement of Hyperproperties

      • Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Yannick Schillo
      Pages 283-299

  3. System Synthesis and Approximation

    1. Front Matter

      Pages 301-301
      Download chapter PDF

    2. Compositional Synthesis of Modular Systems

      • Bernd Finkbeiner, Noemi Passing
      Pages 303-319

    3. Event-B Refinement for Continuous Behaviours Approximation

      • Guillaume Dupont, Yamine Aït-Ameur, Marc Pantel, Neeraj K. Singh
      Pages 320-336

    4. Incorporating Monitors in Reactive Synthesis Without Paying the Price

      • Shaun Azzopardi, Nir Piterman, Gerardo Schneider
      Pages 337-353

  4. Verification of Machine Learning

    1. Front Matter

      Pages 355-355
      Download chapter PDF

    2. pyNeVer: A Framework for Learning and Verification of Neural Networks

      • Dario Guidotti, Luca Pulina, Armando Tacchella
      Pages 357-363

    3. Property-Directed Verification and Robustness Certification of Recurrent Neural Networks

      • Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig et al.
      Pages 364-380

  5. Back Matter

    Pages 381-382
    Download chapter PDF
Back to top

Other volumes

  1. Automated Technology for Verification and Analysis

Keywords

About this book

This book constitutes the refereed proceedings of the 19th International Symposium on Automated Technology for Verification and Analysis, ATVA 2021, held in Gold Coast, Australia in October 2021. 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 19 regular papers presented together with 4 tool papers and 1 invited paper were carefully reviewed and selected from 75 submissions.

The papers are divided into the following topical sub-headings: Automata Theory; Machine learning for Formal Methods; Theorem Proving and Tools; Model Checking; Probabilistic Analysis; Software and Hardware Verification; System Synthesis and Approximation; and Verification of Machine Learning.

Editors and Affiliations

  • Griffith University, Brisbane, Australia

    Zhe Hou

  • University of Waterloo, Waterloo, Canada

    Vijay Ganesh

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation