smc_scan_scxml 0.1.0

SCXML frontend for the Scan model checker.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

<specification xmlns="..." xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
  xsi:schemaLocation="...">

  <types path="./types.xml" />
  
  <model>

    <processList>
      <process id="fsm" moc="fsm" path="./fsm.scxml" />
    </processList>
 
  </model>

  <!-- <properties path="./properties.xml"/> -->
</specification>