← Back to branch summary

~tapaal-dist/verifypn/verifypnLTSmin

« back to all changes in this revision

Viewing changes to INPUT_MC/Dekker-PT-020/CTLFireabilitySimple.xml

  • Committer: Mads Johannsen
  • Date: 2015-05-27 01:37:47 UTC
  • Revision ID: mjohan12@student.aau.dk-20150527013747-fc4uexe0yfjsw7pm
Directory cleanup and readme

Show diffs side-by-side

added added

removed removed

Lines of Context:
INPUT_MC/Dekker-PT-020/CTLFireabilitySimple.xml
1
 
<?xml version="1.0"?>
2
 
<property-set xmlns="http://mcc.lip6.fr/">
3
 
  <property>
4
 
    <id>Dekker-PT-020-CTLFireabilitySimple-0</id>
5
 
    <description>Automatically generated</description>
6
 
    <formula>
7
 
      <all-paths>
8
 
        <globally>
9
 
          <is-fireable>
10
 
            <transition>withdraw_2_19</transition>
11
 
          </is-fireable>
12
 
        </globally>
13
 
      </all-paths>
14
 
    </formula>
15
 
  </property>
16
 
  <property>
17
 
    <id>Dekker-PT-020-CTLFireabilitySimple-1</id>
18
 
    <description>Automatically generated</description>
19
 
    <formula>
20
 
      <all-paths>
21
 
        <globally>
22
 
          <is-fireable>
23
 
            <transition>withdraw_10_17</transition>
24
 
          </is-fireable>
25
 
        </globally>
26
 
      </all-paths>
27
 
    </formula>
28
 
  </property>
29
 
  <property>
30
 
    <id>Dekker-PT-020-CTLFireabilitySimple-2</id>
31
 
    <description>Automatically generated</description>
32
 
    <formula>
33
 
      <all-paths>
34
 
        <finally>
35
 
          <is-fireable>
36
 
            <transition>withdraw_17_11</transition>
37
 
          </is-fireable>
38
 
        </finally>
39
 
      </all-paths>
40
 
    </formula>
41
 
  </property>
42
 
  <property>
43
 
    <id>Dekker-PT-020-CTLFireabilitySimple-3</id>
44
 
    <description>Automatically generated</description>
45
 
    <formula>
46
 
      <exists-path>
47
 
        <next>
48
 
          <is-fireable>
49
 
            <transition>withdraw_7_16</transition>
50
 
          </is-fireable>
51
 
        </next>
52
 
      </exists-path>
53
 
    </formula>
54
 
  </property>
55
 
  <property>
56
 
    <id>Dekker-PT-020-CTLFireabilitySimple-4</id>
57
 
    <description>Automatically generated</description>
58
 
    <formula>
59
 
      <exists-path>
60
 
        <globally>
61
 
          <is-fireable>
62
 
            <transition>withdraw_4_14</transition>
63
 
          </is-fireable>
64
 
        </globally>
65
 
      </exists-path>
66
 
    </formula>
67
 
  </property>
68
 
  <property>
69
 
    <id>Dekker-PT-020-CTLFireabilitySimple-5</id>
70
 
    <description>Automatically generated</description>
71
 
    <formula>
72
 
      <all-paths>
73
 
        <until>
74
 
          <before>
75
 
            <is-fireable>
76
 
              <transition>withdraw_14_10</transition>
77
 
            </is-fireable>
78
 
          </before>
79
 
          <reach>
80
 
            <is-fireable>
81
 
              <transition>withdraw_5_17</transition>
82
 
            </is-fireable>
83
 
          </reach>
84
 
        </until>
85
 
      </all-paths>
86
 
    </formula>
87
 
  </property>
88
 
  <property>
89
 
    <id>Dekker-PT-020-CTLFireabilitySimple-6</id>
90
 
    <description>Automatically generated</description>
91
 
    <formula>
92
 
      <all-paths>
93
 
        <until>
94
 
          <before>
95
 
            <is-fireable>
96
 
              <transition>withdraw_14_3</transition>
97
 
            </is-fireable>
98
 
          </before>
99
 
          <reach>
100
 
            <is-fireable>
101
 
              <transition>withdraw_16_9</transition>
102
 
            </is-fireable>
103
 
          </reach>
104
 
        </until>
105
 
      </all-paths>
106
 
    </formula>
107
 
  </property>
108
 
  <property>
109
 
    <id>Dekker-PT-020-CTLFireabilitySimple-7</id>
110
 
    <description>Automatically generated</description>
111
 
    <formula>
112
 
      <all-paths>
113
 
        <next>
114
 
          <is-fireable>
115
 
            <transition>withdraw_13_8</transition>
116
 
          </is-fireable>
117
 
        </next>
118
 
      </all-paths>
119
 
    </formula>
120
 
  </property>
121
 
  <property>
122
 
    <id>Dekker-PT-020-CTLFireabilitySimple-8</id>
123
 
    <description>Automatically generated</description>
124
 
    <formula>
125
 
      <all-paths>
126
 
        <until>
127
 
          <before>
128
 
            <is-fireable>
129
 
              <transition>withdraw_4_2</transition>
130
 
            </is-fireable>
131
 
          </before>
132
 
          <reach>
133
 
            <is-fireable>
134
 
              <transition>withdraw_2_15</transition>
135
 
            </is-fireable>
136
 
          </reach>
137
 
        </until>
138
 
      </all-paths>
139
 
    </formula>
140
 
  </property>
141
 
  <property>
142
 
    <id>Dekker-PT-020-CTLFireabilitySimple-9</id>
143
 
    <description>Automatically generated</description>
144
 
    <formula>
145
 
      <all-paths>
146
 
        <next>
147
 
          <is-fireable>
148
 
            <transition>withdraw_10_13</transition>
149
 
          </is-fireable>
150
 
        </next>
151
 
      </all-paths>
152
 
    </formula>
153
 
  </property>
154
 
  <property>
155
 
    <id>Dekker-PT-020-CTLFireabilitySimple-10</id>
156
 
    <description>Automatically generated</description>
157
 
    <formula>
158
 
      <all-paths>
159
 
        <globally>
160
 
          <is-fireable>
161
 
            <transition>withdraw_14_0</transition>
162
 
          </is-fireable>
163
 
        </globally>
164
 
      </all-paths>
165
 
    </formula>
166
 
  </property>
167
 
  <property>
168
 
    <id>Dekker-PT-020-CTLFireabilitySimple-11</id>
169
 
    <description>Automatically generated</description>
170
 
    <formula>
171
 
      <all-paths>
172
 
        <until>
173
 
          <before>
174
 
            <is-fireable>
175
 
              <transition>withdraw_11_17</transition>
176
 
            </is-fireable>
177
 
          </before>
178
 
          <reach>
179
 
            <is-fireable>
180
 
              <transition>enter_5</transition>
181
 
            </is-fireable>
182
 
          </reach>
183
 
        </until>
184
 
      </all-paths>
185
 
    </formula>
186
 
  </property>
187
 
  <property>
188
 
    <id>Dekker-PT-020-CTLFireabilitySimple-12</id>
189
 
    <description>Automatically generated</description>
190
 
    <formula>
191
 
      <all-paths>
192
 
        <next>
193
 
          <is-fireable>
194
 
            <transition>withdraw_5_2</transition>
195
 
          </is-fireable>
196
 
        </next>
197
 
      </all-paths>
198
 
    </formula>
199
 
  </property>
200
 
  <property>
201
 
    <id>Dekker-PT-020-CTLFireabilitySimple-13</id>
202
 
    <description>Automatically generated</description>
203
 
    <formula>
204
 
      <all-paths>
205
 
        <finally>
206
 
          <is-fireable>
207
 
            <transition>try_17</transition>
208
 
          </is-fireable>
209
 
        </finally>
210
 
      </all-paths>
211
 
    </formula>
212
 
  </property>
213
 
  <property>
214
 
    <id>Dekker-PT-020-CTLFireabilitySimple-14</id>
215
 
    <description>Automatically generated</description>
216
 
    <formula>
217
 
      <exists-path>
218
 
        <next>
219
 
          <is-fireable>
220
 
            <transition>withdraw_15_3</transition>
221
 
          </is-fireable>
222
 
        </next>
223
 
      </exists-path>
224
 
    </formula>
225
 
  </property>
226
 
  <property>
227
 
    <id>Dekker-PT-020-CTLFireabilitySimple-15</id>
228
 
    <description>Automatically generated</description>
229
 
    <formula>
230
 
      <all-paths>
231
 
        <next>
232
 
          <is-fireable>
233
 
            <transition>withdraw_5_2</transition>
234
 
          </is-fireable>
235
 
        </next>
236
 
      </all-paths>
237
 
    </formula>
238
 
  </property>
239
 
</property-set>