| 
|
Quote: the VFSM simulator generates message sequence charts showing states, inputs, outputs, and communications; with seqflow, it documents the behavior of a module
topics >
all references >
references e-f >
Topic:
model checker
Topic:
communicating sequential processes
Topic:
design documentation
Quotation Skeleton
During execution, the [VFSM] simulator produces message sequence … been mapped, and which variables have been set. … display the results. In this way, a VFSM … [These] Message sequence charts are a powerful tool … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: model checker (49 items)
Topic: communicating sequential processes (33 items)
Topic: design documentation (43 items)