Automated Technology for Verification and Analysis

15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings

  • Deepak D'Souza
  • K. Narayan Kumar
Conference proceedings ATVA 2017

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

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

Table of contents

  1. Front Matter
    Pages I-XIX
  2. Invited Talk

    1. Front Matter
      Pages 1-1
  3. Program Analysis

    1. Front Matter
      Pages 23-23
    2. Elvira Albert, Samir Genaim, Pablo Gordillo
      Pages 42-58
    3. Krishnendu Chatterjee, Amir Kafshdar Goharshady, Andreas Pavlogiannis
      Pages 59-66
    4. Graeme Gange, Pierre Ganty, Peter J. Stuckey
      Pages 67-83
    5. Kunal Banerjee, Chittaranjan Mandal, Dipankar Sarkar
      Pages 84-90
    6. Jean-Yves Moyen, Thomas Rubiano, Thomas Seiller
      Pages 91-108
    7. Soumyadip Bandyopadhyay, Santonu Sarkar, Dipankar Sarkar, Chittaranjan Mandal
      Pages 109-116
  4. Model Checking and Temporal Logics

    1. Front Matter
      Pages 117-117
    2. Mohammad Torabi Dashti, David Basin
      Pages 119-138
    3. Bernd Finkbeiner, Hazem Torfah
      Pages 139-155
    4. Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, Louis-Marie Traonouez
      Pages 156-163
    5. Kumar Madhukar, Peter Schrammel, Mandayam Srivas
      Pages 164-183
    6. Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli
      Pages 184-200
    7. Zuzana Baranová, Jiří Barnat, Katarína Kejstová, Tadeáš Kučera, Henrich Lauko, Jan Mrázek et al.
      Pages 201-207
    8. Marcio Diaz, Tayssir Touili
      Pages 208-224
    9. Abdullah Abdul Khadir, Madhavan Mukund, S. P. Suresh
      Pages 225-240
    10. Sumanth Prabhu, Peter Schrammel, Mandayam Srivas, Michael Tautschnig, Anand Yeolekar
      Pages 241-248
  5. Neural Networks

    1. Front Matter
      Pages 249-249
    2. Chih-Hong Cheng, Georg Nührenberg, Harald Ruess
      Pages 251-268
  6. Learning and Invariant Synthesis

    1. Front Matter
      Pages 287-287
    2. Manuel Montenegro, Susana Nieva, Ricardo Peña, Clara Segura
      Pages 289-306
    3. Rajdeep Mukherjee, Peter Schrammel, Leopold Haller, Daniel Kroening, Tom Melham
      Pages 307-326
    4. Steven de Oliveira, Saddek Bensalem, Virgile Prevosto
      Pages 327-343
    5. Nuno Macedo, Alcino Cunha, Eduardo Pessoa
      Pages 344-362
    6. Pierre Ganty, Boris Köpf, Pedro Valero
      Pages 363-379
    7. Jan Křetínský, Tobias Meggendorfer
      Pages 380-399
    8. Yijun Feng, Lijun Zhang, David N. Jansen, Naijun Zhan, Bican Xia
      Pages 400-416
    9. Christel Baier, Clemens Dubslaff, L’uboš Korenčiak, Antonín Kučera, Vojtěch Řehák
      Pages 417-434
  7. Hybrid Systems and Control

    1. Front Matter
      Pages 435-435
    2. Antonio Anastasio Bruto da Costa, Pallab Dasgupta
      Pages 437-445
    3. Ashish Tiwari, Scott A. Smolka, Lukas Esterle, Anna Lukina, Junxing Yang, Radu Grosu
      Pages 446-462
    4. Shankara Narayanan Krishna, Aviral Kumar, Fabio Somenzi, Behrouz Touri, Ashutosh Trivedi
      Pages 463-479
  8. Back Matter
    Pages 481-482

About these proceedings


This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017.
The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length.
The contributions are organized in topical sections named: program analysis; model checking and temporal logics; neural networks; learning and invariant synthesis; and hybrid systems and control.


software engineering software verification and validation logic and verification artificial intelligence modal and temporal logics verification by model checking Hoare logic programming languages hybrid systems computer architecture formal logic formal methods static analysis stochastic control

Editors and affiliations

  • Deepak D'Souza
    • 1
  • K. Narayan Kumar
    • 2
  1. 1.Indian Institute of ScienceBangaloreIndia
  2. 2.Chennai Mathematical InstituteKelambakkamIndia

Bibliographic information

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