Skip to main content
  • Conference proceedings
  • © 2009

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

Conference proceedings info: TACAS 2009.

Buying options

eBook USD 99.00
Price excludes VAT (USA)
  • ISBN: 978-3-642-00768-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 129.00
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (36 papers)

  1. Front Matter

  2. Model Checking I

    1. Hierarchical Set Decision Diagrams and Regular Models

      • Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Hamez, Fabrice Kordon
      Pages 1-15
    2. Büchi Complementation and Size-Change Termination

      • Seth Fogarty, Moshe Y. Vardi
      Pages 16-30
    3. Learning Minimal Separating DFA’s for Compositional Verification

      • Yu-Fang Chen, Azadeh Farzan, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang
      Pages 31-45
  3. Tools I

    1. RBAC-PAT: A Policy Analysis Tool for Role Based Access Control

      • Mikhail I. Gofman, Ruiqi Luo, Ayla C. Solomon, Yingbin Zhang, Ping Yang, Scott D. Stoller
      Pages 46-49
    2. ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets

      • Elina Pacini Naumovich, Simona Bernardi, Marco Gribaudo
      Pages 50-53
    3. Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches

      • Didier Lime, Olivier H. Roux, Charlotte Seidner, Louis-Marie Traonouez
      Pages 54-57
    4. Alpaga: A Tool for Solving Parity Games with Imperfect Information

      • Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger
      Pages 58-61
  4. Game-Theoretic Approaches

    1. Compositional Predicate Abstraction from Game Semantics

      • Adam Bakewell, Dan R. Ghica
      Pages 62-76
    2. Computing Weakest Strategies for Safety Games of Imperfect Information

      • Wouter Kuijper, Jaco van de Pol
      Pages 92-106
  5. Verification of Concurrent Programs

    1. Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads

      • Mohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer
      Pages 107-123
    2. Semantic Reduction of Thread Interleavings in Concurrent Programs

      • Vineet Kahlon, Sriram Sankaranarayanan, Aarti Gupta
      Pages 124-138
    3. Inferring Synchronization under Limited Observability

      • Martin Vechev, Eran Yahav, Greta Yorsh
      Pages 139-154
    4. The Complexity of Predicting Atomicity Violations

      • Azadeh Farzan, P. Madhusudan
      Pages 155-169
  6. Tools II

    1. MoonWalker: Verification of .NET Programs

      • Niels H. M. Aan de Brugh, Viet Yen Nguyen, Theo C. Ruys
      Pages 170-173
    2. Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays

      • Robert Brummayer, Armin Biere
      Pages 174-177
    3. The Yogi Project: Software Property Checking via Static Analysis and Testing

      • Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali, Aditya V. Thakur
      Pages 178-181
    4. TaPAS: The Talence Presburger Arithmetic Suite

      • Jérôme Leroux, Gérald Point
      Pages 182-185
  7. Model Checking II

    1. Transition-Based Directed Model Checking

      • Martin Wehrle, Sebastian Kupferschmid, Andreas Podelski
      Pages 186-200

Other Volumes

  1. 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

About this book

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.

Keywords

  • 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
  • algorithm analysis and problem complexity

Editors and Affiliations

  • Embedded Software Laboratory, RWTH Aachen, Aachen, Germany

    Stefan Kowalewski

  • Department of Computer Science, University of Cyprus, Nicosia, CY-1678, Cyprus

    Anna Philippou

Bibliographic Information

Buying options

eBook USD 99.00
Price excludes VAT (USA)
  • ISBN: 978-3-642-00768-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 129.00
Price excludes VAT (USA)