← Back to branch summary

~tapaal-dist/verifypn/verifypnLTSmin

« back to all changes in this revision

Viewing changes to INPUT_MC/MAPK-PT-040/CTLFireabilitySimple.txt

  • Committer: Isabella Kaufmann
  • Date: 2015-05-07 12:00:42 UTC
  • Revision ID: ikaufm12@student.aau.dk-20150507120042-7yqz67vqrom2rz4v
new deadlock check models

Show diffs side-by-side

added added

removed removed

Lines of Context:
INPUT_MC/MAPK-PT-040/CTLFireabilitySimple.txt
 
1
Property MAPK-PT-040-CTLFireabilitySimple-0
 
2
  "Automatically generated"
 
3
  is:
 
4
    A X "k26"?
 
5
  end.
 
6
Property MAPK-PT-040-CTLFireabilitySimple-1
 
7
  "Automatically generated"
 
8
  is:
 
9
    E X "k7"?
 
10
  end.
 
11
Property MAPK-PT-040-CTLFireabilitySimple-2
 
12
  "Automatically generated"
 
13
  is:
 
14
    E X "k25"?
 
15
  end.
 
16
Property MAPK-PT-040-CTLFireabilitySimple-3
 
17
  "Automatically generated"
 
18
  is:
 
19
    A (("k29"?) U ("k23"?))
 
20
  end.
 
21
Property MAPK-PT-040-CTLFireabilitySimple-4
 
22
  "Automatically generated"
 
23
  is:
 
24
    A G "k2"?
 
25
  end.
 
26
Property MAPK-PT-040-CTLFireabilitySimple-5
 
27
  "Automatically generated"
 
28
  is:
 
29
    A X "k25"?
 
30
  end.
 
31
Property MAPK-PT-040-CTLFireabilitySimple-6
 
32
  "Automatically generated"
 
33
  is:
 
34
    E (("k26"?) U ("k2"?))
 
35
  end.
 
36
Property MAPK-PT-040-CTLFireabilitySimple-7
 
37
  "Automatically generated"
 
38
  is:
 
39
    E F "k23"?
 
40
  end.
 
41
Property MAPK-PT-040-CTLFireabilitySimple-8
 
42
  "Automatically generated"
 
43
  is:
 
44
    E X "k27"?
 
45
  end.
 
46
Property MAPK-PT-040-CTLFireabilitySimple-9
 
47
  "Automatically generated"
 
48
  is:
 
49
    E G "k25"?
 
50
  end.
 
51
Property MAPK-PT-040-CTLFireabilitySimple-10
 
52
  "Automatically generated"
 
53
  is:
 
54
    A F "k25"?
 
55
  end.
 
56
Property MAPK-PT-040-CTLFireabilitySimple-11
 
57
  "Automatically generated"
 
58
  is:
 
59
    E X "k6"?
 
60
  end.
 
61
Property MAPK-PT-040-CTLFireabilitySimple-12
 
62
  "Automatically generated"
 
63
  is:
 
64
    E G "k22"?
 
65
  end.
 
66
Property MAPK-PT-040-CTLFireabilitySimple-13
 
67
  "Automatically generated"
 
68
  is:
 
69
    E X "k2"?
 
70
  end.
 
71
Property MAPK-PT-040-CTLFireabilitySimple-14
 
72
  "Automatically generated"
 
73
  is:
 
74
    A X "k7"?
 
75
  end.
 
76
Property MAPK-PT-040-CTLFireabilitySimple-15
 
77
  "Automatically generated"
 
78
  is:
 
79
    E F "k17"?
 
80
  end.