Happy Holidays—Our $30 Gift Card just for you, and books ship free! Shop now>>

Lecture Notes in Computer Science

Automatic Verification Methods for Finite State Systems

International Workshop, Grenoble, France. June 12-14, 1989. Proceedings

Editors: Sifakis, Joseph (Ed.)

Free Preview

Buy this book

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

This volume contains the proceedings of a workshop held in Grenoble in June 1989. This was the first workshop entirely devoted to the verification of finite state systems. The workshop brought together researchers and practitioners interested in the development and use of methods, tools and theories for automatic verification of finite state systems. The goal at the workshop was to compare verification methods and tools to assist the applications designer. The papers in this volume review verification techniques for finite state systems and evaluate their relative advantages. The techniques considered cover various specification formalisms such as process algebras, automata and logics. Most of the papers focus on exploitation of existing results in three application areas: hardware design, communication protocols and real-time systems.

Table of contents (31 chapters)

Table of contents (31 chapters)
  • Process calculi, from theory to practice: Verification tools

    Pages 1-10

    Boudol, Gérard (et al.)

  • Testing equivalence as a bisimulation equivalence

    Pages 11-23

    Cleaveland, Rance (et al.)

  • The concurrency workbench

    Pages 24-37

    Cleaveland, Rance (et al.)

  • Argonaute: Graphical description, semantics and verification of reactive systems by using a process algebra

    Pages 38-53

    Maraninchi, Florence

  • Using the axiomatic presentation of behavioural equivalences for manipulating CCS specifications

    Pages 54-67

    Nicola, R. (et al.)

Buy this book

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

Services for this Book

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Automatic Verification Methods for Finite State Systems
Book Subtitle
International Workshop, Grenoble, France. June 12-14, 1989. Proceedings
Editors
  • Joseph Sifakis
Series Title
Lecture Notes in Computer Science
Series Volume
407
Copyright
1990
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-46905-6
DOI
10.1007/3-540-52148-8
Softcover ISBN
978-3-540-52148-8
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XI, 384
Topics