Create sfsm (command)

File: create_sfsm

Description: This program guides the user through creating a stochastic file for an existing Finite State Machine.

Input: H.fsm

Output: H.stoc

Detail: An FSM needs to have a .stoc file in order to run any Stochastic methods (like A-Diagnosability).