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

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
  • About this book