Automated Technology for Verification and Analysis

13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

  • Bernd Finkbeiner
  • Geguang Pu
  • Lijun Zhang
Conference proceedings ATVA 2015

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

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

Table of contents

  1. Front Matter
    Pages I-XIII
  2. J Strother Moore
    Pages 4-13
  3. Ruud P. J. Koolen, Tim A. C. Willemse, Hans Zantema
    Pages 14-30
  4. Hernán Ponce-de-León, César Rodríguez, Josep Carmona, Keijo Heljanko, Stefan Haar
    Pages 31-47
  5. Ernst Althaus, Björn Beber, Joschka Kupilas, Christoph Scholl
    Pages 48-63
  6. Constantin Enea, Mihaela Sighireanu, Zhilin Wu
    Pages 80-96
  7. Martin Schäf, Ashish Tiwari
    Pages 97-113
  8. Martin Chapman, Hana Chockler, Pascal Kesseli, Daniel Kroening, Ofer Strichman, Michael Tautschnig
    Pages 114-130
  9. Yuliya Butkova, Hassan Hatefi, Holger Hermanns, Jan Krčál
    Pages 166-182
  10. Rachel Faran, Orna Kupferman
    Pages 183-200
  11. Noé Hernández, Kerstin Eder, Evgeni Magid, Jesús Savage, David A. Rosenblueth
    Pages 201-206
  12. Yongjian Li, Jun Pang, Yi Lv, Dongrui Fan, Shen Cao, Kaiqiang Duan
    Pages 207-213
  13. Mohamed Nassim Seghir, David Aspinall
    Pages 221-227
  14. Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos
    Pages 234-240
  15. Thomas Ferrère, Oded Maler, Dejan Ničković
    Pages 241-258
  16. Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa
    Pages 259-275
  17. Rachel Tzoref-Brill, Shahar Maoz
    Pages 276-292
  18. Madhavan Mukund, Gautham Shenoy R., S. P. Suresh
    Pages 293-308
  19. Chao Wang, Yi Lv, Peng Wu
    Pages 309-325
  20. Simon Bliudze, Alessandro Cimatti, Mohamad Jaber, Sergio Mover, Marco Roveri, Wajeb Saab et al.
    Pages 326-343
  21. Habib Saissi, Péter Bokor, Neeraj Suri
    Pages 344-360
  22. Dietmar Berwanger, Anup Basil Mathew, Marie van den Bogaard
    Pages 378-393
  23. Roderick Bloem, Rüdiger Ehlers, Robert Könighofer
    Pages 394-410
  24. Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos
    Pages 411-428
  25. Paul Hunter, Guillermo A. Pérez, Jean-François Raskin
    Pages 429-445
  26. Chuchu Fan, Sayan Mitra
    Pages 446-463
  27. Liang Zou, Naijun Zhan, Shuling Wang, Martin Fränzle
    Pages 464-481
  28. Ting Gan, Mingshuai Chen, Liyun Dai, Bican Xia, Naijun Zhan
    Pages 482-499
  29. Jyotirmoy Deshmukh, Xiaoqing Jin, James Kapinski, Oded Maler
    Pages 500-517
  30. Back Matter
    Pages 519-520

About these proceedings


This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October  2015.

The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry.


equivalence checking formal methods model checking software verification theorem proving dynamic analysis formal verification human-robot interaction Isabelle/HOL linear programming logic mathematical induction probabilistic automata rewriting safety sequentialization static analysis timed automata verification Web applications

Editors and affiliations

  • Bernd Finkbeiner
    • 1
  • Geguang Pu
    • 2
  • Lijun Zhang
    • 3
  1. 1.Universität des SaarlandesSaarbrückenGermany
  2. 2.East China Normal UniversityShanghaiChina
  3. 3.Chinese Academy of SciencesBeijingChina

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-24952-0
  • Online ISBN 978-3-319-24953-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Oil, Gas & Geosciences