Skip to main content
Springer Nature Link
Log in

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

Overview

Editors:
  1. C. R. Ramakrishnan
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jakob Rehof
    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 4963)

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

Included in the following conference series:

Conference proceedings info: TACAS 2008.

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

Access this book

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

Keywords

Table of contents (39 papers)

  1. Front Matter

    Download chapter PDF

  3. 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. Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems

      • Edmund Clarke, Murali Talupur, Helmut Veith
      Pages 33-47

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

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

    3. Model Checking-Based Genetic Programming with an Application to Mutual Exclusion

      • Gal Katz, Doron Peled
      Pages 141-156

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

  7. Static Analysis

    1. A SAT-Based Approach to Size Change Termination with Global Ranking Functions

      • Amir M. Ben-Amram, Michael Codish
      Pages 218-232

    2. Efficient Automatic STE Refinement Using Responsibility

      • Hana Chockler, Orna Grumberg, Avi Yadgar
      Pages 233-248

    3. Reasoning Algebraically About P-Solvable Loops

      • Laura Kovács
      Pages 249-264

    4. On Local Reasoning in Verification

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

Other volumes

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

Bibliographic Information

Publish with us

Policies and ethics

Back to top