Examples of simulated TIOA programs
1: Failure detection using timeout
Primitive automata:
$ tioasim <max # of
steps> <file.tioa> -formals formals
Composite automata:
$ tioasim <max # of
steps> <composite aut name>
<file.tioa> -formals formals
Paired simulation:
$ tioapsim <max # of
steps> <impl aut. name> <spec aut.
name> <file.tioa> \
-formals formals
TIOA Simulator :: Examples