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

  • Editors
  • C. R. Ramakrishnan
  • Jakob Rehof
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4963)

Table of contents

  1. Front Matter
  2. Invited Talk

  3. Parameterized Systems

    1. Azadeh Farzan, Yu-Fang Chen, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang
      Pages 2-17
    2. Mayank Saksena, Oskar Wibling, Bengt Jonsson
      Pages 18-32
  4. Model Checking – I

    1. J. Barnat, L. Brim, P. Šimeček, M. Weber
      Pages 48-62
    2. M. De Wulf, L. Doyen, N. Maquet, J. -F. Raskin
      Pages 63-77
    3. Adam Bakewell, Dan R. Ghica
      Pages 78-92
    4. Parosh A. Abdulla, Ahmed Bouajjani, Lukáš Holík, Lisa Kaati, Tomáš Vojnar
      Pages 93-108
  5. Applications

    1. Eyad Alkassar, Norbert Schirmer, Artem Starostin
      Pages 109-123
    2. Gogul Balakrishnan, Thomas Reps
      Pages 124-140
  6. Model Checking – II

    1. Miguel E. Andrés, Peter van Rossum
      Pages 157-172
    2. Axel Legay, Andrzej S. Murawski, Joël Ouaknine, James Worrell
      Pages 173-187
    3. Sriram Sankaranarayanan, Thao Dang, Franjo Ivančić
      Pages 188-202
    4. Sebastian Kupferschmid, Jörg Hoffmann, Kim G. Larsen
      Pages 203-217
  7. Static Analysis

    1. Hana Chockler, Orna Grumberg, Avi Yadgar
      Pages 233-248
    2. Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans
      Pages 265-281

About these proceedings

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

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-78800-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-78799-0
  • Online ISBN 978-3-540-78800-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book