Table of Contents
Tkenv is a graphical runtime interface for simulations. Tkenv supports interactive simulation execution, animation, inspection, tracing and debugging. In addition to model development and verification, Tkenv is also useful for presentation and educational purposes, since it allows the user to get a detailed picture of the state and history of the simulation at any point of its execution.
When used together with a C++ source-level debugger, Tkenv can significantly speed up model development.
Its most important features are: