Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Concurrency Factory Home Page
The Concurrency Factory project is an integrated toolset for
specification, simulation, verification, and implentation of
concurrent systems such as communication protocols and process control
systems. The project, which is a joint effort between the Computer
Science departments of
SUNY at Stony Brook and
NC State University, officially
started in Spring '92.
Two themes central to the project are the following: the use of
process algebra as the underlying formal model of
computation, and the provision of practical support for
process algebra. By "practical" we mean that the Factory should be
usable by protocol engineers and software developers who are not
necessarily familiar with formal verification, and it should be
usable on problems of real-life scale, such as those found in the
telecommunications industry.
We are working on a new version of the Concurrency
Factory. It will be released soon...
Sponsor:
NSF Grant CCR-9505562, The Concurrency Factory
--- Practical
tools for the design and verification of
concurrent systems (Prog. Manager: Frank Anger).
concurr@cs.sunysb.edu
Last modified: March 24, 1999