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
16

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

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

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

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