Lecture Notes in Computer Science

Computer Aided Verification

3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings

Editors: Larsen, Kim G., Skou, Arne (Eds.)

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-46763-2
  • 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-55179-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This volume contains the proceedings of the third International Workshop on Computer Aided Verification, CAV '91, held in Aalborg, Denmark, July 1-4, 1991. The objective of this series of workshops is to bring together researchers and practitioners interested in the development and use of methods, tools and theories for automatic verification of (finite) state systems. The workshop provides a unique opportunity for comparing the numerous verification methods and associated verification tools, and the extent to which they may be utilized in application design. The emphasis is not only on new research results but also on the application of existing results to real verification problems. The papers in the volume areorganized into sections on equivalence checking, model checking, applications, tools for process algebras, the state explosion problem, symbolic model checking, verification and transformation techniques, higher order logic, partial order approaches, hardware verification, timed specification and verification, and automata.

Table of contents (44 chapters)

Table of contents (44 chapters)
  • Taming infinite state spaces

    Sterling, Colin

    Pages 1-1

  • Silence is golden: Branching bisimilarity is decidable for context-free processes

    Hüttel, Hans

    Pages 2-12

  • Computing distinguishing formulas for branching bisimulation

    Korver, Henri

    Pages 13-23

  • Compositional checking of satisfaction

    Andersen, Henrik Reif (et al.)

    Pages 24-36

  • An action based framework for verifying logical and behavioural properties of concurrent systems

    Nicola, R. (et al.)

    Pages 37-47

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-46763-2
  • 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-55179-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Computer Aided Verification
Book Subtitle
3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings
Editors
  • Kim G. Larsen
  • Arne Skou
Series Title
Lecture Notes in Computer Science
Series Volume
575
Copyright
1992
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-46763-2
DOI
10.1007/3-540-55179-4
Softcover ISBN
978-3-540-55179-9
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XI, 493
Topics