SODA

The concurrency workbench: A semantics based tool for the verification of concurrent systems

Cleaveland, Rance and Parrow, Joachim and Bernhard, Steffen (1991) The concurrency workbench: A semantics based tool for the verification of concurrent systems. [SICS Report]

Full text not available from this repository.

Abstract

The Concurrency Workbench is an automated tool for analyzing networks of finite-state processes expressed in Milner's Calculus of Communicating Systems. Its key features is its breadht: a variety of different verification methods, including equivalence checking, preorder checking, and model checking, are supported for several different process semantics. One experience from our work is that a large number of interesting verification methods can be formulated as combinations of a small number of primitive algorithms. The Workbench has been applied to the verification of communications protocols and mutual exclusion algorithms and has proven a valuable aid in teaching and research.

Item Type:SICS Report
ID Code:2505
Deposited By:Vicki Carleson
Deposited On:05 Nov 2007
Last Modified:18 Nov 2009 16:09

Repository Staff Only: item control page