Skip to main content
  • Conference proceedings
  • © 2017

Automated Technology for Verification and Analysis

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

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Conference series link(s): ATVA: International Symposium on Automated Technology for Verification and Analysis

Conference proceedings info: ATVA 2017.

Buying options

eBook USD 64.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-68167-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 84.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (30 papers)

  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. May-Happen-in-Parallel Analysis with Returned Futures

      • Elvira Albert, Samir Genaim, Pablo Gordillo
      Pages 42-58
    3. JTDec: A Tool for Tree Decompositions in Soot

      • Krishnendu Chatterjee, Amir Kafshdar Goharshady, Andreas Pavlogiannis
      Pages 59-66
    4. Fixing the State Budget: Approximation of Regular Languages with Small DFAs

      • Graeme Gange, Pierre Ganty, Peter J. Stuckey
      Pages 67-83
    5. An Equivalence Checking Framework for Array-Intensive Programs

      • Kunal Banerjee, Chittaranjan Mandal, Dipankar Sarkar
      Pages 84-90
    6. Loop Quasi-Invariant Chunk Detection

      • Jean-Yves Moyen, Thomas Rubiano, Thomas Seiller
      Pages 91-108
    7. SamaTulyata: An Efficient Path Based Equivalence Checking Tool

      • Soumyadip Bandyopadhyay, Santonu Sarkar, Dipankar Sarkar, Chittaranjan Mandal
      Pages 109-116
  4. Model Checking and Temporal Logics

    1. Front Matter

      Pages 117-117
    2. Tests and Refutation

      • Mohammad Torabi Dashti, David Basin
      Pages 119-138
    3. The Density of Linear-Time Properties

      • Bernd Finkbeiner, Hazem Torfah
      Pages 139-155
    4. HyLeak: Hybrid Analysis Tool for Information Leakage

      • Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, Louis-Marie Traonouez
      Pages 156-163
    5. Compositional Safety Refutation Techniques

      • Kumar Madhukar, Peter Schrammel, Mandayam Srivas
      Pages 164-183
    6. Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units

      • Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli
      Pages 184-200
    7. Model Checking of C and C++ with DIVINE 4

      • Zuzana Baranová, Jiří Barnat, Katarína Kejstová, Tadeáš Kučera, Henrich Lauko, Jan Mrázek et al.
      Pages 201-207
    8. Dealing with Priorities and Locks for Concurrent Programs

      • Marcio Diaz, Tayssir Touili
      Pages 208-224
    9. Knowledge Transfer and Information Leakage in Protocols

      • Abdullah Abdul Khadir, Madhavan Mukund, S. P. Suresh
      Pages 225-240

Other Volumes

  1. Automated Technology for Verification and Analysis

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

About this book

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.

Keywords

  • 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

  • Indian Institute of Science, Bangalore, India

    Deepak D'Souza

  • Chennai Mathematical Institute, Kelambakkam, India

    K. Narayan Kumar

Bibliographic Information

Buying options

eBook USD 64.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-68167-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 84.99
Price excludes VAT (USA)