© 2017

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

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