Advertisement

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
  8. Concurrent/Distributed Systems

    1. Akash Lal, Tayssir Touili, Nicholas Kidd, Thomas Reps
      Pages 282-298
    2. Salvatore La Torre, P. Madhusudan, Gennaro Parlato
      Pages 299-314
    3. Dana Fisman, Orna Kupferman, Yoad Lustig
      Pages 315-331
  9. Tools – I

    1. Peter Csaba Ölveczky, José Meseguer
      Pages 332-336
    2. Leonardo de Moura, Nikolaj Bjørner
      Pages 337-340
    3. Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Wen-Chin Chan, Chi-Jian Luo
      Pages 346-350
  10. Symbolic Execution

    1. Peter Boonstoppel, Cristian Cadar, Dawson Engler
      Pages 351-366
    2. Saswat Anand, Patrice Godefroid, Nikolai Tillmann
      Pages 367-381
    3. Chao Wang, Zijiang Yang, Vineet Kahlon, Aarti Gupta
      Pages 382-396
  11. Abstraction, Interpolation

    1. Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani
      Pages 397-412
    2. Nicolas Caniart, Emmanuel Fleury, Jérôme Leroux, Marc Zeitoun
      Pages 428-442
    3. Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani
      Pages 443-458
  12. Tools – II

    1. Thomas Wahl, Nicolas Blanc, E. Allen Emerson
      Pages 459-462
    2. Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe
      Pages 463-466
    3. Nicolas Blanc, Daniel Kroening, Natasha Sharygina
      Pages 467-470
  13. Trust, Reputation

    1. Guodong Li, Konrad Slind
      Pages 471-485
    2. Michał Moskal
      Pages 486-500
    3. Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, Dejvuth Suwimonteerabuth
      Pages 501-516
  14. Back Matter

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
  • Buy this book on publisher's site