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
    2. Viet Yen Nguyen, Theo C. Ruys
      Pages 201-214
  8. Parametric Analysis

    1. Simona Orzan, Wieger Wesselink, Tim A. C. Willemse
      Pages 230-245
    2. Feng Chen, Grigore Roşu
      Pages 246-261
  9. Generative Approaches

    1. Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko
      Pages 262-276
    2. Dries Vanoverberghe, Nikolai Tillmann, Frank Piessens
      Pages 277-291
    3. Claire Le Goues, Westley Weimer
      Pages 292-306
  10. Program Analysis

    1. Nikolaj Bjørner, Nikolai Tillmann, Andrei Voronkov
      Pages 307-321
    2. Fang Yu, Tevfik Bultan, Oscar H. Ibarra
      Pages 322-336
    3. Marius Bozga, Codruţa Gîrlea, Radu Iosif
      Pages 337-351
    4. Michael Emmi, Ranjit Jhala, Eddie Kohler, Rupak Majumdar
      Pages 352-367
  11. Hybrid Systems

    1. Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi
      Pages 368-382
    2. Christoph Scholl, Stefan Disch, Florian Pigorsch, Stefan Kupferschmid
      Pages 383-397
  12. Decision Procedures and Theorem Proving

    1. Panagiotis Manolios, Aaron Turon
      Pages 398-412
    2. Alexander Fuchs, Amit Goel, Jim Grundy, Sava Krstić, Cesare Tinelli
      Pages 413-427
    3. Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch
      Pages 428-442
  13. Invited Contribution

  14. Back Matter

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 Computer Science (R0)
  • Print ISBN 978-3-642-00767-5
  • Online ISBN 978-3-642-00768-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site