Skip to main content
SpringerLink
Log in
Book cover
  • 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

Editors:

  1. Stefan Kowalewski

    1. Embedded Software Laboratory, RWTH Aachen, Aachen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Anna Philippou

    1. Department of Computer Science, University of Cyprus, Nicosia, CY-1678, Cyprus

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): TACAS: International Conference on Tools and Algorithms for the Construction and Analysis of Systems

Conference proceedings info: TACAS 2009.

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (36 papers)

  1. Front Matter

    PDF

  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

    3. 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
Back to top

Other Volumes

  1. Tools and Algorithms for the Construction and Analysis of Systems

Back to top

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.
Back to top

Keywords

Back to top

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

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation