Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

Automated Technology for Verification and Analysis

21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I

  • Conference proceedings
  • © 2023

Overview

Editors:
  1. Étienne André

    1. Université Sorbonne Paris Nord, Villetaneuse, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jun Sun

    1. Singapore Management University, Singapore, Singapore

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

Included in the following conference series:

Conference proceedings info: ATVA 2023.

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

About this book

This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in  October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between regional and international research communities and industry in related areas. The 30 regular papers presented together with 7 tool papers were carefully reviewed and selected from 150 submissions.The papers are divided into the following topical sub-headings: Temporal logics, Data structures and heuristics, Verification of programs and hardware.

Keywords

Table of contents (20 papers)

  1. Front Matter

    Pages i-xvi
    Download chapter PDF

  2. Invited Talk

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Correct and Efficient Policy Monitoring, a Retrospective

      • David Basin, Srđan Krstić, Joshua Schneider, Dmitriy Traytel
      Pages 3-30

  3. Automata

    1. Front Matter

      Pages 31-31
      Download chapter PDF

    2. Learning Nonlinear Hybrid Automata from Input–Output Time-Series Data

      • Amit Gurung, Masaki Waga, Kohei Suenaga
      Pages 33-52

    3. A Novel Family of Finite Automata for Recognizing and Learning \(\omega \)-Regular Languages

      • Yong Li, Sven Schewe, Qiyi Tang
      Pages 53-73

    4. On the Containment Problem for Deterministic Multicounter Machine Models

      • Oscar H. Ibarra, Ian McQuillan
      Pages 74-94

    5. Parallel and Incremental Verification of Hybrid Automata with Ray and Verse

      • Haoqing Zhu, Yangge Li, Keyi Shen, Sayan Mitra
      Pages 95-114

    6. An Automata Theoretic Characterization of Weighted First-Order Logic

      • Dhruv Nevatia, Benjamin Monmege
      Pages 115-133

  4. Probabilistic Systems

    1. Front Matter

      Pages 135-135
      Download chapter PDF

    2. Graph-Based Reductions for Parametric and Weighted MDPs

      • Kasper Engelen, Guillermo A. Pérez, Shrisha Rao
      Pages 137-157

    3. Scenario Approach for Parametric Markov Models

      • Ying Liu, Andrea Turrini, Ernst Moritz Hahn, Bai Xue, Lijun Zhang
      Pages 158-180

    4. Fast Verified SCCs for Probabilistic Model Checking

      • Arnd Hartmanns, Bram Kohlen, Peter Lammich
      Pages 181-202

    5. Bi-objective Lexicographic Optimization in Markov Decision Processes with Related Objectives

      • Damien Busatto-Gaston, Debraj Chakraborty, Anirban Majumdar, Sayan Mukherjee, Guillermo A. Pérez, Jean-François Raskin
      Pages 203-223

  5. Synthesis

    1. Front Matter

      Pages 225-225
      Download chapter PDF

    2. Model Checking Strategies from Synthesis over Finite Traces

      • Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi, Andrew Wells
      Pages 227-247

    3. Reactive Synthesis of Smart Contract Control Flows

      • Bernd Finkbeiner, Jana Hofmann, Florian Kohn, Noemi Passing
      Pages 248-269

    4. Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms

      • Derek Egolf, Stavros Tripakis
      Pages 270-291

    5. Controller Synthesis for Reactive Systems with Communication Delay by Formula Translation

      • J. S. Sajiv Kumar, Raghavan Komondoor
      Pages 292-311

    6. Statistical Approach to Efficient and Deterministic Schedule Synthesis for Cyber-Physical Systems

      • Shengjie Xu, Bineet Ghosh, Clara Hobbs, Enrico Fraccaroli, Parasara Sridhar Duggirala, Samarjit Chakraborty
      Pages 312-333
Back to top

Other volumes

  1. Automated Technology for Verification and Analysis

  2. Automated Technology for Verification and Analysis

Editors and Affiliations

  • Université Sorbonne Paris Nord, Villetaneuse, France

    Étienne André

  • Singapore Management University, Singapore, Singapore

    Jun Sun

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation