Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1990

Automatic Verification Methods for Finite State Systems

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

Editors:

  1. Joseph Sifakis
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 407)

Conference series link(s): CAV: International Conference on Computer Aided Verification

Conference proceedings info: CAV 1989.

Sections

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (31 papers)

  2. Temporal logic case study

    • William G. Wood
    Pages 257-263

  3. The complexity of collapsing reachability graphs

    • Sudhir Aggarwal, Daniel Barbara, Walter Cunto, Michael R. Garey
    Pages 264-274

  4. What are the limits of model checking methods for the verification of real life protocols?

    • S. Graf, J.-L. Richier, C. Rodríguez, J. Voiron
    Pages 275-285

  5. Requirement analysis for communication protocols

    • Pierre Azema, François Vernadat, Jean-Christophe Lloret
    Pages 286-293

  6. State exploration by transformation with lola

    • Juan Quemada, Santiago Pavón, Angel Fernández
    Pages 294-302

  9. Combining CTL, trace theory and timing models

    • Jerry R. Burch
    Pages 334-348

  10. Localized verification of circuit descriptions

    • Jørgen Staunstrup, Stephen J. Garland, John V. Guttag
    Pages 349-364

  11. Verification of synchronous sequential machines based on symbolic execution

    • Olivier Coudert, Christian Berthet, Jean Christophe Madre
    Pages 365-373

  12. Parallel composition of lockstep synchronous processes for hardware validation: Divide-and-conquer composition

    • Ganesh C. Gopalakrishnan, Narayana S. Mani, Venkatesh Akella
    Pages 374-382
Back to top

Other Volumes

  1. Automatic Verification Methods for Finite State Systems

Back to top

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.
Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation