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.

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
DOI: https://doi.org/10.1007/3-540-52148-8
Publisher: Springer Berlin, Heidelberg
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1990
Softcover ISBN: 978-3-540-52148-8Published: 10 January 1990
eBook ISBN: 978-3-540-46905-6Published: 05 July 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XI, 384
Topics: Theory of Computation, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Software Engineering, Special Purpose and Application-Based Systems

Publish with us

Policies and ethics

Automatic Verification Methods for Finite State Systems

Overview

Access this book

Other ways to access

Table of contents (31 papers)

Front Matter

Other volumes