Automated Technology for Verification and Analysis

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

  • Yu-Fang Chen
  • Chih-Hong Cheng
  • Javier Esparza
Conference proceedings ATVA 2019

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 11781)

Table of contents

  1. Front Matter
    Pages i-xi
  2. Invited Papers

    1. Front Matter
      Pages 1-1
    2. Patricia Bouyer
      Pages 3-22
    3. Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck
      Pages 23-47
    4. Benjamin Kiesl, Marijn J. H. Heule, Armin Biere
      Pages 48-64
  3. Cyber-Physical Systems

    1. Front Matter
      Pages 79-79
    2. Manfred Jaeger, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Sean Sedwards, Jakob Haahr Taankvist
      Pages 81-97
  4. Runtime Techniques

    1. Front Matter
      Pages 131-131
    2. Joshua Schneider, David Basin, Frederik Brix, Srđan Krstić, Dmitriy Traytel
      Pages 133-150
    3. Martin Raszyk, David Basin, Srđan Krstić, Dmitriy Traytel
      Pages 151-170
  5. Testing

    1. Front Matter
      Pages 187-187
    2. Dirk Beyer, Thomas Lemberger
      Pages 189-208
    3. Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, Shengchao Qin
      Pages 209-227
    4. Hoang M. Le
      Pages 246-252
  6. Program Analysis

    1. Front Matter
      Pages 253-253
    2. Ezio Bartocci, Laura Kovács, Miroslav Stankovič
      Pages 255-276
    3. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep, Lukáš Holík, Petr Janků
      Pages 277-293
    4. Anastasiia Izycheva, Eva Darulova, Helmut Seidl
      Pages 294-313
  7. Automata

    1. Front Matter
      Pages 315-315
    2. Christof Löding, Anton Pirogov
      Pages 317-333
    3. Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
      Pages 334-349
    4. A. S. Murawski, S. J. Ramsay, N. Tzevelekos
      Pages 350-356
    5. Juraj Major, František Blahoudek, Jan Strejček, Miriama Sasaráková, Tatiana Zbončáková
      Pages 357-365
  8. Synthesis

    1. Front Matter
      Pages 367-367
    2. Jesko Hecking-Harbusch, Niklas O. Metzger
      Pages 369-386
    3. Rüdiger Ehlers, Keerthi Adabala
      Pages 387-403
    4. Jan Křetínský, Alexander Manta, Tobias Meggendorfer
      Pages 404-422
    5. Borzoo Bonakdarpour, Bernd Finkbeiner
      Pages 423-441
  9. Stochastic Systems

    1. Front Matter
      Pages 443-443
    2. Christel Baier, František Blahoudek, Alexandre Duret-Lutz, Joachim Klein, David Müller, Jan Strejček
      Pages 445-461
    3. Tomáš Brázdil, Krishnendu Chatterjee, Antonín Kučera, Petr Novotný, Dominik Velan
      Pages 462-478
    4. Jip Spel, Sebastian Junges, Joost-Pieter Katoen
      Pages 479-496
  10. Model Checking

    1. Front Matter
      Pages 497-497
    2. Roderick Bloem, Swen Jacobs, Yakir Vizel
      Pages 499-514
    3. Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog
      Pages 515-533
    4. Siham Khoussi, Ayoub Nouri, Junxiao Shi, James Filliben, Lotfi Benmohamed, Abdella Battou et al.
      Pages 534-550
  11. Back Matter
    Pages 551-552

About these proceedings


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.


software engineering semantics software evaluation verification specifications programming languages formal logic temporal logic cyber-physical systems runtime verification techniques software testing program analysis automata synthesis stochastic systems model checking

Editors and affiliations

  • Yu-Fang Chen
    • 1
  • Chih-Hong Cheng
    • 2
  • Javier Esparza
    • 3
  1. 1.Institute of Information ScienceAcademia SinicaTaipeiTaiwan
  2. 2.DENSO AUTOMOTIVE Deutschland GmbHEchingGermany
  3. 3.Institute of Computer ScienceTU MünchenMunichGermany

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment