The Concurrency Factory is an integrated toolset for specification, simulation, verification, and implementation of concurrent systems. Its main features are its support for both graphical and textual specifications; a suite of analysis routines for automatic verification; a graphical simulator; and a compiler that transforms specifications into executable distributed code. We are currently extending the Factory to handle probabilistic and real-time specifications.
The Concurrency Factory is a joint project with Phil Lewis of Stony Brook and Rance Cleaveland of North Carolina State University, and is funded by NSF and AFOSR. The project currently has available one, possibly two, RA lines for USB grad students.