The Concurrency Factory: Main Features

• A graphical user interface. It allows non-experts to design concurrent systems using GCCS, a graphical version of the process algebra CCS.
• A textual user interface for VPL, a simple language for concurrent processes that communicate values from a finite data domain.
• A set of simulators for both VPL and GCCS.
• A suite of analysis routines that includes a local model checker for the modal mu-calculus, a powerful temporal logic..
• A set of code generators. Currently Java and Ada'95 code can be automatically generated for the concurrent systems designed by the users.