msim — Interactive simulation of a system described by an LPE
msim
[-help
] [-help-all
] [-version
] [Stepper Options
] [Rewriter Options
] [Data Options
] input
.tbf
Reads from
an LPE
in input
.tbf.tbf
format.
A typical session consists of the following steps:
Start msim by typing
msim
file
.tbf
Initiate the simulation by clicking the button
Continue the simulation by selecting actions in
Finish the simulation by clicking the button
.
The simulator msim is invoked by:
msim
.
The simulator will present a window that allows interactive simulation of the
system described in the argument
file
.tbf
.
The argument file
.tbf
must be a LPE, which is the output file of the tool mcrl.
file
.tbf
Initiate the simulation by clicking the button
. If all goes well the simulator presents a list of actions in . Otherwise an error message will appear in the message window (bottom of the screen).The main window offers the following possibilities:
Single step through the system by selecting actions in the
A trace to the current state
can be written
by clicking the button in
file
.trc/name
A trace can be read
by clicking the button
.
The file
.trc/name
current state
becomes the state to which that
trace leads.
The previous state can be made current by clicking the button
Redo undone actions by clicking the button
Display the current state vector by clicking the button
(the interpretation of this description requires both experience and knowledge of the linearisation process)Display the value of a certain function by clicking the button
Term