Tools and Algorithms for the Construction and Analysis of Systems

8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings

  • Joost-Pieter Katoen
  • Perdita Stevens
Conference proceedings TACAS 2002

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2280)

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Invited Contributions

  3. Real-Time and Probabilistic Systems

    1. Victor Braberman, Diego Garbervetsky, Alfredo Olivero
      Pages 21-36
    2. Marta Kwiatkowska, Gethin Norman, David Parker
      Pages 52-66
  4. Scheduling

  5. Miscellaneous

  6. Software Verification

    1. Thomas Ball, Andreas Podelski, Sriram K. Rajamani
      Pages 158-172
    2. Giorgio Delzanno, Jean-Francois Raskin, Laurent Van Begin
      Pages 173-187
    3. Fabrice Bouquet, Bruno Legeard, Fabien Peureux
      Pages 188-204
  7. Infinite-State and Parametric Systems

    1. Marco Bozzano, Giorgio Delzanno
      Pages 221-235
    2. Samik Basu, K. Narayan Kumar, L. Robert Pokorny, C. R. Ramakrishnan
      Pages 236-250
    3. E. Allen Emerson, Vineet Kahlon
      Pages 251-265
  8. Model Checking: Logics and Algorithms

    1. Patrice Godefroid, Sarfraz Khurshid
      Pages 266-280
    2. Roy Armoni, Limor Fix, Alon Flaisher, Rob Gerth, Boris Ginsburg, Tomer Kanza et al.
      Pages 296-311
    3. HoonSang Jin, Andreas Kuehlmann, Fabio Somenzi
      Pages 312-326
  9. Model Checking and Testing

    1. Hyoung Seok Hong, Insup Lee, Oleg Sokolsky, Hasan Ural
      Pages 327-341
    2. Klaus Havelund, Grigore Roşu
      Pages 342-356
    3. Alex Groce, Doron Peled, Mihalis Yannakakis
      Pages 357-370
  10. Partial-Order and Simulation Techniques

    1. Keijo Heljanko, Victor Khomenko, Maciej Koutny
      Pages 371-385
    2. Sebastien Bornot, Remi Morin, Peter Niebert, Sarah Zennou
      Pages 386-400
    3. Doron Bustan, Orna Grumberg
      Pages 401-414
    4. Raffaella Gentilini, Carla Piazza, Alberto Policriti
      Pages 415-430
  11. Debugging with Model Checking

    1. Elsa Gunter, Doron Peled
      Pages 431-444
    2. HoonSang Jin, Kavita Ravi, Fabio Somenzi
      Pages 445-459
  12. Tool Papers

    1. Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi
      Pages 460-464
    2. Frédéric Lang
      Pages 465-469
    3. Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva
      Pages 470-475
    4. Christian Stehno
      Pages 476-480
  13. Back Matter
    Pages 481-482

About these proceedings


ETAPS 2002 was the ?fth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998by combining a number of existing and new conferences. This year it comprised 5 conferences (FOSSACS, FASE, ESOP, CC, TACAS), 13 satellite workshops (ACL2, AGT, CMCS, COCV, DCC, INT, LDTA, SC, SFEDL, SLAP, SPIN, TPTS, and VISS), 8invited lectures (not including those speci?c to the satellite events), and several tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.


Development Tools Distributed Systems Formal Methods Formal Specification Logics Model Checking Monitor Program Semantics Programming Theory Variable algorithms automata formal verification logic petri net

Editors and affiliations

  • Joost-Pieter Katoen
    • 1
  • Perdita Stevens
    • 2
  1. 1.Faculty of Computer Science, Formal Methods and Tools GroupUniversity of TwenteEnschedeThe Netherlands
  2. 2.Division of InformaticsUniversity of EdinburghEdinburghUK

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-43419-1
  • Online ISBN 978-3-540-46002-2
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site