UCEd a toolset for use cases edition, verification and simulation. UCEd accepts use cases expressed in a form of natural language. UCEd integrates the use cases in state machines using domain knowledge, and provides an interface for system simulation.
