Skip to main content

Automated Technology for Verification and Analysis

17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

  • Conference proceedings
  • © 2019


Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11781)

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

Included in the following conference series:

Conference proceedings info: ATVA 2019.

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

Access this book

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

  1. Invited Papers

  2. Cyber-Physical Systems

  3. Runtime Techniques

  4. Testing

  5. Program Analysis

Other volumes

  1. Automated Technology for Verification and Analysis


About this book

This book constitutes the refereed proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis, ATVA 2019, held in Taipei, Taiwan in October 2019.
The 24 regular papers presented together with 3 tool papers were carefully reviewed and selected from 65 submissions. 
The symposium is dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field. The papers focus on cyber-physical systems; runtime techniques; testing; automata; synthesis; stochastic systems and model checking.

Editors and Affiliations

  • Institute of Information Science, Academia Sinica, Taipei, Taiwan

    Yu-Fang Chen

  • DENSO AUTOMOTIVE Deutschland GmbH, Eching, Germany

    Chih-Hong Cheng

  • Institute of Computer Science, TU München, Munich, Germany

    Javier Esparza

Bibliographic Information

Publish with us