Automated Technology for Verification and Analysis

16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

  • Shuvendu K. Lahiri
  • Chao Wang
Conference proceedings ATVA 2018

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

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

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Invited Papers

    1. Front Matter
      Pages 1-1
    2. Divya Gopinath, Guy Katz, Corina S. Păsăreanu, Clark Barrett
      Pages 3-19
    3. Sanjit A. Seshia, Ankush Desai, Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim et al.
      Pages 20-34
  3. Regular Papers

    1. Front Matter
      Pages 35-35
    2. David Basin, Bhargav Nagaraja Bhatt, Dmitriy Traytel
      Pages 37-55
    3. Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter N. Mosaad, Naijun Zhan
      Pages 56-74
    4. Albert Rizaldi, Fabian Immler, Bastian Schürmann, Matthias Althoff
      Pages 75-90
    5. YuTing Chen, Carlo A. Furia
      Pages 91-108
    6. Lukáš Holík, Ondřej Lengál, Juraj Síč, Margus Veanes, Tomáš Vojnar
      Pages 109-125
    7. Chih-Hong Cheng, Chung-Hao Huang, Hirotoshi Yasuoka
      Pages 126-142
    8. Jaroslav Bendík, Ivana Černá, Nikola Beneš
      Pages 143-159
    9. Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
      Pages 160-176
    10. Pushpak Jagtap, Sadegh Soudjani, Majid Zamani
      Pages 177-193
    11. Dmitry Chistikov, Andrzej S. Murawski, David Purser
      Pages 194-210
    12. Swen Jacobs, Mouhammad Sakr
      Pages 211-227
    13. Dan Rasin, Orna Grumberg, Sharon Shoham
      Pages 228-247
    14. Arie Gurfinkel, Sharon Shoham, Yakir Vizel
      Pages 248-266
    15. Simone Silvetti, Laura Nenzi, Ezio Bartocci, Luca Bortolussi
      Pages 267-283
    16. Paul Gainer, Ernst Moritz Hahn, Sven Schewe
      Pages 300-316
    17. Pranav Ashok, Yuliya Butkova, Holger Hermanns, Jan Křetínský
      Pages 317-334
    18. Keerthi Adabala, Rüdiger Ehlers
      Pages 335-351
    19. Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder
      Pages 370-386
    20. Zixin Huang, Zhenbang Wang, Sasa Misailovic
      Pages 387-403
    21. Nestan Tsiskaridze, Lucas Bang, Joseph McMahan, Tevfik Bultan, Timothy Sherwood
      Pages 404-421
    22. Dung Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
      Pages 422-440
    23. Carsten Gerstacker, Felix Klein, Bernd Finkbeiner
      Pages 441-457
    24. Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu
      Pages 458-475
    25. Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo
      Pages 476-493
    26. Ayrat Khalimov, Benedikt Maderbacher, Roderick Bloem
      Pages 494-510
  4. Tool Papers

    1. Front Matter
      Pages 511-511
    2. Elvira Albert, Pablo Gordillo, Benjamin Livshits, Albert Rubio, Ilya Sergey
      Pages 513-520
    3. Marek Baranowski, Shaobo He, Zvonimir Rakamarić
      Pages 528-535
    4. Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Axel Legay, Saddek Bensalem
      Pages 536-542
    5. Jan Křetínský, Tobias Meggendorfer, Salomon Sickert
      Pages 543-550
    6. Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael Wooldridge
      Pages 551-557
  5. Back Matter
    Pages 559-560

About these proceedings


This book constitutes the refereed proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018.

The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 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.


artificial intelligence formal logic formal methods Markov chains model checker model checking neural networks probability software engineering software evaluation specifications temporal logic verification

Editors and affiliations

  • Shuvendu K. Lahiri
    • 1
  • Chao Wang
    • 2
  1. 1.Microsoft ResearchRedmondUSA
  2. 2.University of Southern CaliforniaLos AngelesUSA

Bibliographic information

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