Tools and Algorithms for the Construction and Analysis of Systems

7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

  • Tiziana Margaria
  • Wang Yi
Conference proceedings TACAS 2001

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

Table of contents

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

    1. Moshe Y. Vardi
      Pages 1-22
    2. Michael P. Fourman
      Pages 23-23
  3. Symbolic Verification

    1. Poul Frederick Williams, Henrik Reif Andersen, Henrik Hulgaard
      Pages 39-51
    2. Tuba Yavuz-Kahveci, Murat Tuncer, Tevfik Bultan
      Pages 52-66
  4. Infinite State Systems: Deduction and Abstraction

    1. Michael A. Colóon, Henny B. Sipma
      Pages 67-81
    2. Amir Pnueli, Sitvanit Ruah, Lenore Zuck
      Pages 82-97
    3. Y. Lakhnech, S. Bensalem, S. Berezin, S. Owre
      Pages 98-112
    4. A. Tiwari, H. Rueß, H. Saïdi, N. Shankar
      Pages 113-127
  5. Application of Model Checking Techniques

    1. Roberto Sebastiani, Alessandro Tomasi, Fausto Giunchiglia
      Pages 128-142
    2. Xiang Fu, Tevfik Bultan, Richard Hull, Jianwen Su
      Pages 143-157
    3. Thomas Ball, Sagar Chaki, Sriram K. Rajamani
      Pages 158-173
  6. Timed and Probabilistic Systems

    1. Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Larsen, Paul Pettersson, Judi Romijn
      Pages 174-188
    2. Thomas Hune, Judi Romijn, Mariëelle Stoelinga, Frits Vaandrager
      Pages 189-203
    3. S. Andova, J. C. M. Baeten
      Pages 204-219
    4. Theo C. Ruys, Rom Langerak, Joost-Pieter Katoen, Diego Latella, Mieke Massink
      Pages 220-235
  7. Hardware: Design and Verification

  8. Software Verification

    1. Thomas Ball, Andreas Podelski, Sriram K. Rajamani
      Pages 268-283

About these proceedings


This book constitutes the refereed proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001.
The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a total of 125 submissions. The papers are organized in sections on symbolic verification, infinite state systems - deduction and abstraction, application of model checking techniques, timed and probabilistic systems, hardware - design and verification, software verification, testing - techniques and tools, implementation techniques, semantics and compositional verification, logics and model checking, and ETAPS tool demonstration.


algorithm algorithms design model checking semantics testing verification

Editors and affiliations

  • Tiziana Margaria
    • 1
  • Wang Yi
    • 2
  1. 1.Lehrstuhl für ProgrammiersystemeUniversität DortmundDortmundGermany
  2. 2.Department of Information TechnologyUppsala UniversityUppsalaSweden

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-41865-8
  • Online ISBN 978-3-540-45319-2
  • Series Print ISSN 0302-9743
  • About this book