Debugging DES in DESpot
DESpot provides the following features to debug errors in discrete event systems.
Counter Example Simulation
Counter Example Running Modes
Debugging in Multiple Sessions
Error State Simulation
Non Counter Example Algorithm List
« Simluation Viewers
|
Counter Example Simluation »