Tools and Algorithms for the Construction and Analysis of Systems

4th International Conference, TACAS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

  • Editors
  • Bernhard Steffen
Conference proceedings TACAS 1998

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

Table of contents

  1. Front Matter
  2. Randal E. Bryant
    Pages 1-4
  3. Xinxin Liu, C. R. Ramakrishnan, Scott A. Smolka
    Pages 5-19
  4. Karen Laster, Orna Grumberg
    Pages 20-35
  5. Michaela Huhn, Peter Niebert, Frank Wallner
    Pages 36-51
  6. Perdita Stevens, Colin Stirling
    Pages 85-101
  7. HanÊne Ben-Abdallah, Stefan Leue
    Pages 118-135
  8. Miroslav N. Velev, Randal E. Bryant
    Pages 136-150
  9. A. Pnueli, M. Siegel, E. Singerman
    Pages 151-166
  10. Alexander Aiken, Manuel Fähndrich, Zhendong Su
    Pages 184-200
  11. JØrn Lind-Nielsen, Henrik Reif Andersen, Gerd Behrmann, Henrik Hulgaard, Kåre Kristoifersen, Kim G. Larsen
    Pages 201-216
  12. Udo Brockmeyer, Gunnar Wittich
    Pages 217-231
  13. Thierry Cattel
    Pages 232-248
  14. David James Sherman, Nicolas Magnier
    Pages 249-262
  15. Luca Aceto, Augusto Burgueño, Kim G. Larsen
    Pages 263-280
  16. Magnus Lindahl, Paul Pettersson, Wang Yi
    Pages 281-297
  17. Parosh Aziz Abdulla, Bengt Jonsson
    Pages 298-312
  18. Conrado Daws, Stavros Tripakis
    Pages 313-329
  19. Rajeev Alur, Thomas A. Henzinger, Sriram K. Rajamani
    Pages 330-344
  20. R. Kurshan, V. Levin, M. Minea, D. Peled, H. Yenigün
    Pages 345-357
  21. Witold Charatonik, Andreas Podelski
    Pages 358-375
  22. Nikolaj S. BjØrner, Mark C. Pichora
    Pages 376-392
  23. Henrik E. Jensen, Nancy A. Lynch
    Pages 409-423
  24. E. Pascal Gribomont, Guy Zenner
    Pages 424-438
  25. Franz Regensburger, Aenne Barnard
    Pages 439-455
  26. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'98, held in conjunction with ETAPS in Lisbon, Portugal, in March/April 1998. The 28 revised full papers presented together with an invited talk were selected from a total of 78 submissions. The volume is devoted to conceptual foundations, development, and applications of tools and algorithms for the specification, verification, analysis, and construction of software and hardware systems. The papers are organized in sections on model checking, design and architecture, various applications, fielded applications, verification of real-time systems, mixed analysis techniques, and case studies and experience.


Algorithms Automat Coq algorithm automata formal verification logic model checking modeling petri net programming real-time verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1998
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-64356-2
  • Online ISBN 978-3-540-69753-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site