© 2012

Automated Technology for Verification and Analysis

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

  • Supratik Chakraborty
  • Madhavan Mukund


  • Fast conference proceedings

  • State-of-the-art report

  • Up to date results

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

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

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