Lecture Notes in Computer Science

Tools and Algorithms for the Construction and Analysis of Systems

Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings

Editors: Brinksma, Ed (Ed.)

Free Preview

Buy this book

eBook $89.00
price for USA in USD
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-68519-7
  • Digitally watermarked, DRM-free
  • Included format:
  • Immediate eBook download after purchase and usable on all devices
  • Bulk discounts available
Softcover $119.00
price for USA in USD
About this book

This book constitutes the refereed proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '97, held in Enschede, The Netherlands, in April 1997.
The book presents 20 revised full papers and 5 tool demonstrations carefully selected out of 54 submissions; also included are two extended abstracts and a full paper corresponding to invited talks. The papers are organized in topical sections on space reduction techniques, tool demonstrations, logical techniques, verification support, specification and analysis, and theorem proving, model checking and applications.

Table of contents (28 chapters)

Table of contents (28 chapters)
  • Hardware and software synthesis, optimization, and verification from Esterel programs

    Pages 1-3

    Berry, Gérard

  • Manipulation algorithms for K*BMDs

    Pages 4-18

    Drechsler, Rolf (et al.)

  • Combining partial order and symmetry reductions

    Pages 19-34

    Emerson, E. Allen (et al.)

  • Partial model checking with ROBDDs

    Pages 35-49

    Andersen, Henrik Reif (et al.)

  • Space efficient reachability analysis through use of pseudo-root states

    Pages 50-64

    Parashkevov, Atanas N. (et al.)

Buy this book

eBook $89.00
price for USA in USD
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-68519-7
  • Digitally watermarked, DRM-free
  • Included format:
  • Immediate eBook download after purchase and usable on all devices
  • Bulk discounts available
Softcover $119.00
price for USA in USD
Loading...

Services for this Book

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Tools and Algorithms for the Construction and Analysis of Systems
Book Subtitle
Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings
Editors
  • Ed Brinksma
Series Title
Lecture Notes in Computer Science
Series Volume
1217
Copyright
1997
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-68519-7
DOI
10.1007/BFb0035375
Softcover ISBN
978-3-540-62790-6
Series ISSN
0302-9743
Edition Number
1
Number of Pages
X, 437
Topics