Skip to main content
  • Conference proceedings
  • © 2008

Tools and Algorithms for the Construction and Analysis of Systems

14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings

Conference proceedings info: TACAS 2008.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

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

Table of contents (39 papers)

  1. Front Matter

  2. Parameterized Systems

    1. Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages

      • Azadeh Farzan, Yu-Fang Chen, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang
      Pages 2-17
    2. Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols

      • Mayank Saksena, Oskar Wibling, Bengt Jonsson
      Pages 18-32
  3. Model Checking – I

    1. Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking

      • J. Barnat, L. Brim, P. Šimeček, M. Weber
      Pages 48-62
    2. Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking

      • M. De Wulf, L. Doyen, N. Maquet, J. -F. Raskin
      Pages 63-77
    3. On-the-Fly Techniques for Game-Based Software Model Checking

      • Adam Bakewell, Dan R. Ghica
      Pages 78-92
    4. Computing Simulations over Tree Automata

      • Parosh A. Abdulla, Ahmed Bouajjani, Lukáš Holík, Lisa Kaati, Tomáš Vojnar
      Pages 93-108
  4. Applications

    1. Formal Pervasive Verification of a Paging Mechanism

      • Eyad Alkassar, Norbert Schirmer, Artem Starostin
      Pages 109-123
    2. Analyzing Stripped Device-Driver Executables

      • Gogul Balakrishnan, Thomas Reps
      Pages 124-140
  5. Model Checking – II

    1. Conditional Probabilities over Probabilistic and Nondeterministic Systems

      • Miguel E. Andrés, Peter van Rossum
      Pages 157-172
    2. On Automated Verification of Probabilistic Programs

      • Axel Legay, Andrzej S. Murawski, Joël Ouaknine, James Worrell
      Pages 173-187
    3. Symbolic Model Checking of Hybrid Systems Using Template Polyhedra

      • Sriram Sankaranarayanan, Thao Dang, Franjo Ivančić
      Pages 188-202
    4. Fast Directed Model Checking Via Russian Doll Abstraction

      • Sebastian Kupferschmid, Jörg Hoffmann, Kim G. Larsen
      Pages 203-217
  6. Static Analysis

    1. Efficient Automatic STE Refinement Using Responsibility

      • Hana Chockler, Orna Grumberg, Avi Yadgar
      Pages 233-248
    2. On Local Reasoning in Verification

      • Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans
      Pages 265-281

Other Volumes

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

Keywords

  • Erfüllbarkeitsproblem der Aussagenlogik
  • abstraction
  • algorithms
  • automata
  • distributed systems
  • genetic programming
  • learning
  • logic
  • programming theory
  • real-time systems
  • regular languages
  • statistical methods
  • systems analysis
  • systems development
  • verification
  • algorithm analysis and problem complexity

Bibliographic Information

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions