TiMo@PAT Manual

  • Main GUI

    The following is a screen shot of the main GUI of TiMo@PAT, which allows users to edit a TiMo system as a .timo file.

    Main GUI

  • Simulation

    • When click the Simulation button in the main GUI, a simulation window will be opened. In the simulation window, uses can

    • click an enabled event to simulate the execuation of a TiMo system step by step;
    • click Simulate to simulate the execution by a random path.
    • click Generate Grapth to generate the complete state graph of a TiMo system;

    Simulation

  • Verification

    • When users click the Verification button in the main GUI, the verification windo will be opened. Then users can chose the assertion to be verified and perform verification on it. Verification results will be shown at the bottom once the verification is done.

    Verification

    This page is maintained by Manchun Zheng.