July 12, 1999
Tivoli, Rome
4
•
•
System behavior:
•
•
Visualization of
system state transition in
the presence of a given input sequence.
•
Visualization of system state transition in
the presence of injected faults.
Needs of a tester
