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

About these proceedings

Introduction

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.

Keywords

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

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0054159
  • Copyright Information Springer-Verlag 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
  • About this book