Automatic Verification Methods for Finite State Systems : International Workshop, Grenoble, France. June 12-14, 1989. Proceedings. 1st ed. 1990

種類:

電子ブック

責任表示:

edited by Joseph Sifakis

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990

著者名:

• Sifakis, Joseph.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 407

ISBN:

9783540469056 [3540469052]    

注記:

Process calculi, from theory to practice: Verification tools -- Testing equivalence as a bisimulation equivalence -- The concurrency workbench -- Argonaute: Graphical description, semantics and verification of reactive systems by using a process algebra -- Using the axiomatic presentation of behavioural equivalences for manipulating CCS specifications -- Verifying properties of large sets of processes with network invariants -- A method for verification of trace and test equivalence -- Projections of the reachability graph and environment models -- Proving properties of elementary net systems with a special-purpose theorem prover -- Verification by abstraction and bisimulation -- MEC : a system for constructing and analysing transition systems -- Fair SMG and linear time model checking -- Network grammars, communication behaviors and automatic verification -- CCS, liveness, and local model checking in the linear time mu-calculus -- Implementing a model checking algorithm by adapting existing automated tools -
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.

ローカル注記:

学内専用E-BOOKS (local access only)