Automated Technology for Verification and Analysis

10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings

  • Supratik Chakraborty
  • Madhavan Mukund
Conference proceedings ATVA 2012

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

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Shuyuan Zhang, Sharad Malik, Rick McGeer
      Pages 1-16
    2. Sucheendra K. Palaniappan, P. S. Thiagarajan
      Pages 17-25
    3. Andreas Podelski
      Pages 26-26
  3. Automata Theory

    1. Shulamit Halamish, Orna Kupferman
      Pages 27-41
    2. Sofia Cassel, Bengt Jonsson, Falk Howar, Bernhard Steffen
      Pages 57-71
    3. Andreas Gaiser, Jan Křetínský, Javier Esparza
      Pages 72-76
  4. Logics and Proofs

    1. Alexandre Donzé, Oded Maler, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Scott Smolka
      Pages 92-106
  5. Model Checking

    1. Orna Grumberg, Orna Kupferman, Sarai Sheinvald
      Pages 122-136
    2. Mohamed Amin Ben Sassi, Romain Testylier, Thao Dang, Antoine Girard
      Pages 137-151
    3. Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
      Pages 152-166
  6. Software Verification

    1. Ahmed Bouajjani, Cezara Drăgoi, Constantin Enea, Mihaela Sighireanu
      Pages 167-182
    2. Hossein Hojjat, Radu Iosif, Filip Konečný, Viktor Kuncak, Philipp Rümmer
      Pages 187-202
    3. Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina
      Pages 203-207
  7. Synthesis

    1. John Fearnley, Doron Peled, Sven Schewe
      Pages 208-222
    2. Peter Bulychev, Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Jean-François Raskin, Pierre-Alain Reynier
      Pages 223-237
    3. Matthias Güdemann, Gwen Salaün, Meriem Ouederni
      Pages 238-253
  8. Verification and Parallelism

    1. Daniel Schwartz-Narbonne, Georg Weissenbacher, Sharad Malik
      Pages 254-268
    2. Sami Evangelista, Alfons Laarman, Laure Petrucci, Jaco van de Pol
      Pages 269-283
    3. Rodrigo T. Saad, Silvano Dal Zilio, Bernard Berthomieu
      Pages 284-299
  9. Probabilistic Verification

    1. Luis María Ferrer Fioriti, Ernst Moritz Hahn, Holger Hermanns, Björn Wachter
      Pages 300-316
    2. Vojtěch Forejt, Marta Kwiatkowska, David Parker
      Pages 317-332
    3. Nils Jansen, Erika Ábrahám, Matthias Volk, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
      Pages 349-353
  10. Constraint Solving and Applications

    1. Bernd Becker, Rüdiger Ehlers, Matthew Lewis, Paolo Marin
      Pages 370-384
  11. Probabilistic Systems

    1. Krishnendu Chatterjee, Martin Chmelík, Rupak Majumdar
      Pages 385-399
    2. Benedikt Bollig, Paul Gastin, Benjamin Monmege, Marc Zeitoun
      Pages 400-415
    3. Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate
      Pages 416-434
  12. Back Matter

About these proceedings


This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012. The 25 regular papers, 3 invited papers and 4 tool papers presented were carefully selected from numerous submissions. Conference papers are organized in 9 technical sessions, covering the topics of automata theory, logics and proofs, model checking, software verification, synthesis, verification and parallelism, probabilistic verification, constraint solving and applications, and probabilistic systems.


QBF optimization basic parallel processes decidability embedded systems stochastic hybrid systems

Editors and affiliations

  • Supratik Chakraborty
    • 1
  • Madhavan Mukund
    • 2
  1. 1.Indian Institute of Technology, Computer Science and Engineering, Dept. of Computer Science and EngineeringIIT BombayMumbaiIndia
  2. 2.Chennai Mathematical InstituteSiruseriIndia

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-33385-9
  • Online ISBN 978-3-642-33386-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment