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

DOI: 10.1007/3-540-46002-0

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

Table of contents (35 papers)

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

  3. Real-Time and Probabilistic Systems

    1. Improving the Verification of Timed Systems Using Influence Information
      Victor Braberman, Diego Garbervetsky, Alfredo Olivero
      Pages 21-36
    2. Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach
      Marta Kwiatkowska, Gethin Norman, David Parker
      Pages 52-66
  4. Scheduling

  5. Miscellaneous

  6. Software Verification

    1. Relative Completeness of Abstraction Refinement for Software Model Checking
      Thomas Ball, Andreas Podelski, Sriram K. Rajamani
      Pages 158-172
    2. Towards the Automated Verification of Multithreaded Java Programs
      Giorgio Delzanno, Jean-Francois Raskin, Laurent Van Begin
      Pages 173-187
    3. CLPS-B—A Constraint Solver for B
      Fabrice Bouquet, Bruno Legeard, Fabien Peureux
      Pages 188-204
  7. Infinite-State and Parametric Systems

    1. Beyond Parameterized Verification
      Marco Bozzano, Giorgio Delzanno
      Pages 221-235
    2. Resource-Constrained Model Checking of Recursive Programs
      Samik Basu, K. Narayan Kumar, L. Robert Pokorny, C. R. Ramakrishnan
      Pages 236-250
    3. Model Checking Large-Scale and Parameterized Resource Allocation Systems
      E. Allen Emerson, Vineet Kahlon
      Pages 251-265
  8. Model Checking: Logics and Algorithms

    1. Exploring Very Large State Spaces Using Genetic Algorithms
      Patrice Godefroid, Sarfraz Khurshid
      Pages 266-280

About these proceedings

Introduction

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.

Keywords

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

  • 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