© 2018

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

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
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment