Tools and Algorithms for the Construction and Analysis of Systems

17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

  • Parosh Aziz Abdulla
  • K. Rustan M. Leino
Conference proceedings TACAS 2011

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

Table of contents

  1. Front Matter
  2. Reliable Software Development: Analysis-Aware Design

  3. Memory Models and Consistency

    1. Jabob Burnim, Koushik Sen, Christos Stergiou
      Pages 11-25
    2. Pranav Garg, P. Madhusudan
      Pages 26-40
    3. Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell
      Pages 41-44
  4. Invariants and Termination

    1. Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala
      Pages 45-59
    2. Kryštof Hoder, Laura Kovács, Andrei Voronkov
      Pages 60-64
    3. Diego Garbervetsky, Daniel Gorín, Ariel Neisen
      Pages 65-80
    4. Aliaksei Tsitovich, Natasha Sharygina, Christoph M. Wintersteiger, Daniel Kroening
      Pages 81-95
  5. Timed and Probabilistic Systems

    1. Nathalie Bertrand, Thierry Jéron, Amélie Stainer, Moez Krichen
      Pages 96-111
    2. Vojtěch Forejt, Marta Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu
      Pages 112-127
    3. Benoît Barbot, Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
      Pages 128-142
  6. Interpolations and SAT-Solvers

    1. Alberto Griggio, Thi Thieu Hoa Le, Roberto Sebastiani
      Pages 143-157
    2. Divya Gopinath, Muhammad Zubair Malik, Sarfraz Khurshid
      Pages 173-188
    3. Michael Codish, Yoav Fekete, Carsten Fuhs, Peter Schneider-Kamp
      Pages 189-204
  7. Learning

    1. Yungbum Jung, Wonchan Lee, Bow-Yaw Wang, Kwangkuen Yi
      Pages 205-219
    2. Maik Merten, Bernhard Steffen, Falk Howar, Tiziana Margaria
      Pages 220-223
  8. Model Checking

    1. Harro Wimmel, Karsten Wolf
      Pages 224-238
    2. Muralidhar Talupur, Hyojung Han
      Pages 239-253
    3. Yashwanth Annpureddy, Che Liu, Georgios Fainekos, Sriram Sankaranarayanan
      Pages 254-257
  9. Games and Automata

    1. Chih-Hong Cheng, Alois Knoll, Michael Luttenberger, Christian Buckl
      Pages 258-261
    2. Yih-Kuen Tsay, Ming-Hsien Tsai, Jinn-Shu Chang, Yi-Wen Chang
      Pages 262-266
    3. Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh
      Pages 267-271
    4. Rüdiger Ehlers
      Pages 272-275
  10. Verification (I)

    1. Sebastian Kupferschmid, Martin Wehrle
      Pages 276-290
    2. Harsh Raju Chamarthi, Peter Dillinger, Panagiotis Manolios, Daron Vroon
      Pages 291-295
  11. Probabilistic Systems

    1. Mark Timmer, Mariëlle Stoelinga, Jaco van de Pol
      Pages 311-325
    2. Ezio Bartocci, Radu Grosu, Panagiotis Katsaros, C. R. Ramakrishnan, Scott A. Smolka
      Pages 326-340
  12. Verification (II)

    1. Alessandro Cimatti, Iman Narasamdya, Marco Roveri
      Pages 341-356
    2. Anders P. Ravn, Jiří Srba, Saleem Vighio
      Pages 357-371
    3. Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe
      Pages 372-387
    4. Sanjit A. Seshia, Jonathan Kotker
      Pages 388-392
  13. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbrücken, Germany, March 26—April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software.

The 32 revised full papers presented were carefully reviewed and selected from 112 submissions. The papers are organized in topical sections on memory models and consistency, invariants and termination, timed and probabilistic systems, interpolations and SAT-solvers, learning, model checking, games and automata, verification, and probabilistic systems.


Petri net SAT solvers SMT solvers abstraction techniques concurrent programs dependability finite-state systems model-checking real-time systems safety software modeling static analysis temporal logic theorem-proving

Editors and affiliations

  • Parosh Aziz Abdulla
    • 1
  • K. Rustan M. Leino
    • 2
  1. 1.Dept. of Information TechnologyUniversity of UppsalaUppsalaSweden
  2. 2.Microsoft ResearchRedmondUSA

Bibliographic information

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