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
    2. Corina S. Păsăreanu, Matthew B. Dwyer, Willem Visser
      Pages 284-298
    3. Joachim van den Berg, Bart Jacobs
      Pages 299-312
  9. Symbolic Verification

    1. Alessandro Cimatti, Marco Roveri, Piergiorgio Bertoli
      Pages 313-327
    2. Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu
      Pages 328-342
  10. Testing: Techniques and Tools

    1. Brian Nielsen, Arne Skou
      Pages 343-357
    2. Amie L. Souter, Tiffany M. Wong, Stacey A. Shindo, Lori L. Pollock
      Pages 389-403
  11. Implementation Techniques

    1. Marsha Chechik, Benet Devereux, Steve Easterbrook
      Pages 404-419
    2. Kathi Fisler, Ranan Fraer, Gila Kamhi, Moshe Y. Vardi, Zijiang Yang
      Pages 420-434
    3. Rubén Carvajal-Schiaffino, Giorgio Delzanno, Giovanni Chiola
      Pages 435-449
    4. Søren Christensen, Lars Michael Kristensen, Thomas Mailund
      Pages 450-464
  12. Semantics and Compositional Verification

    1. Nina Amla, E. Allen Emerson, Kedar Namjoshi, Richard Trefler
      Pages 465-479
    2. Li Tan, Rance Cleaveland
      Pages 480-495
    3. Elsa L. Gunter, Anca Muscholl, Doron A. Peled
      Pages 496-511
    4. Jochen Klose, Hartmut Wittke
      Pages 512-527
  13. Logics and Model-Checking

    1. Hana Chockler, Orna Kupferman, Moshe Y. Vardi
      Pages 528-542
    2. Benedikt Bollig, Martin Leucker, Michael Weber
      Pages 543-558
    3. Paritosh K. Pandya
      Pages 559-573
  14. ETAPS Tool Demonstration

    1. Michel Beaudouin-Lafon, Wendy E. Mackay, Mads Jensen, Peter Andersen, Paul Janecek, Michael Lassen et al.
      Pages 574-577
    2. Thomas Noll, Lars-åke Fredlund, Dilian Gurov
      Pages 582-585
  15. Back Matter
    Pages 587-588

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
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment