Lecture Notes in Computer Science

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: Steffen, Bernhard (Ed.)

Free Preview

Buy this book

eBook $99.00
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-69753-4
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA in USD
  • ISBN 978-3-540-64356-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (29 chapters)

Table of contents (29 chapters)
  • Formal verification of pipelined processors

    Bryant, Randal E.

    Pages 1-4

  • Fully local and efficient evaluation of alternating fixed points

    Liu, Xinxin (et al.)

    Pages 5-19

  • Modular model checking of software

    Laster, Karen (et al.)

    Pages 20-35

  • Verification based on local states

    Huhn, Michaela (et al.)

    Pages 36-51

  • Exploiting symmetry in linear time temporal logic model checking: One step beyond

    Ajami, K. (et al.)

    Pages 52-67

Buy this book

eBook $99.00
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-69753-4
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA in USD
  • ISBN 978-3-540-64356-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Tools and Algorithms for the Construction and Analysis of Systems
Book Subtitle
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
Series Title
Lecture Notes in Computer Science
Series Volume
1384
Copyright
1998
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-69753-4
DOI
10.1007/BFb0054159
Softcover ISBN
978-3-540-64356-2
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XV, 461
Topics