Skip to main content
SpringerLink
Log in
Book cover

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
  • © 2009

Overview

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)

Included in the following conference series:

Conference proceedings info: TACAS 2009.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (36 papers)

  1. Front Matter

    Download chapter 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

    2. Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications

      • Hillel Kugler, Itai Segall
      Pages 77-91

    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

Keywords

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.

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

Publish with us

Policies and ethics

Back to top

Search

Navigation