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: Related Work
The Concurrency Factory: Related Work
In terms of related work, the Concurrency Factory can be viewed as a
next generation Concurr
ency
Workbench (CWB), a toolkit for the analysis finite state
concurrent systems specified as CCS expressions.
Another related tool is
SPIN,
which is an on-the-fly model checker for LTL.