Tools and Algorithms for the Construction and Analysis of Systems

15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

  • Stefan Kowalewski
  • Anna Philippou
Conference proceedings TACAS 2009

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

Table of contents

  1. Front Matter
  2. Model Checking I

    1. Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Hamez, Fabrice Kordon
      Pages 1-15
    2. Seth Fogarty, Moshe Y. Vardi
      Pages 16-30
    3. Yu-Fang Chen, Azadeh Farzan, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang
      Pages 31-45
  3. Tools I

    1. Mikhail I. Gofman, Ruiqi Luo, Ayla C. Solomon, Yingbin Zhang, Ping Yang, Scott D. Stoller
      Pages 46-49
    2. Elina Pacini Naumovich, Simona Bernardi, Marco Gribaudo
      Pages 50-53
    3. Didier Lime, Olivier H. Roux, Charlotte Seidner, Louis-Marie Traonouez
      Pages 54-57
    4. Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger
      Pages 58-61
  4. Game-Theoretic Approaches

  5. Verification of Concurrent Programs

    1. Mohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer
      Pages 107-123
    2. Vineet Kahlon, Sriram Sankaranarayanan, Aarti Gupta
      Pages 124-138
    3. Martin Vechev, Eran Yahav, Greta Yorsh
      Pages 139-154
    4. Azadeh Farzan, P. Madhusudan
      Pages 155-169
  6. Tools II

    1. Niels H. M. Aan de Brugh, Viet Yen Nguyen, Theo C. Ruys
      Pages 170-173
    2. Robert Brummayer, Armin Biere
      Pages 174-177
    3. Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali, Aditya V. Thakur
      Pages 178-181
    4. Jérôme Leroux, Gérald Point
      Pages 182-185
  7. Model Checking II

    1. Martin Wehrle, Sebastian Kupferschmid, Andreas Podelski
      Pages 186-200

About these proceedings


This book constitutes the refereed proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software.

The 27 full papers and 8 tool demonstrations included in the volume were thoroughly reviewed and selected from 131 submissions. The papers are organized in topical sections on Model Checking, Tools, Verification of Concurrent Programs, Parametric Analysis, Program Analysis, and Hybrid Systems.


SAT solvers algorithm algorithms biological systems communications protocols formal methods heuristics model checking programming languages software engineering static analysis systems analysis theorem proving validation verification

Editors and affiliations

  • Stefan Kowalewski
    • 1
  • Anna Philippou
    • 2
  1. 1.Embedded Software LaboratoryRWTH AachenAachenGermany
  2. 2.Department of Computer ScienceUniversity of Cyprus, NicosiaCY-1678Cyprus

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-00767-5
  • Online ISBN 978-3-642-00768-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book