-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathDSR_3.bps
More file actions
56 lines (56 loc) · 8.21 KB
/
DSR_3.bps
File metadata and controls
56 lines (56 loc) · 8.21 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<org.eventb.core.psFile>
<org.eventb.core.psStatus name="INITIALISATION/inv1/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="69" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="INITIALISATION/inv2/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="69" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="INITIALISATION/inv3/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="69" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="INITIALISATION/inv4/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="69" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="EnvoyerRREQ/grd6/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="84" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="EnvoyerRREQ/inv1/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="84" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="EnvoyerRREQ/inv2/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="84" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="StoreRREQ/grd5/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="69" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="StoreRREQ/grd9/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="69" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="StoreRREQ/grd11/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="69" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="StoreRREQ/grd12/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="69" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="StoreRREQ/inv1/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="89" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="StoreRREQ/inv2/INV" org.eventb.core.confidence="0" org.eventb.core.poStamp="89" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="StoreRREQ/act2/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="89" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="RecevoirRREQ/grd2/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="102" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="RecevoirRREQ/grd0/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="102" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="RecevoirRREQ/grd4/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="102" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="RecevoirRREQ/inv1/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="125" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="RecevoirRREQ/inv2/INV" org.eventb.core.confidence="0" org.eventb.core.poStamp="125" org.eventb.core.psBroken="true" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="RecevoirRREQ/inv3/INV" org.eventb.core.confidence="0" org.eventb.core.poStamp="125" org.eventb.core.psBroken="true" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="RecevoirRREQ/inv4/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="125" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="RecevoirRREQ/act1/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="125" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="RejectRREQ/grd3/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="91" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="RejectRREQ/grd4/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="91" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="RejectRREQ/grd5/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="91" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="RejectRREQ/grd6/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="91" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="RejectRREQ/inv1/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="91" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="RejectRREQ/inv2/INV" org.eventb.core.confidence="0" org.eventb.core.poStamp="91" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="RejectRREQ/act1/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="91" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="ForwardRREQ/grd6/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="69" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="ForwardRREQ/inv2/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="69" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="PerdreRREQ/grd2/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="69" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="PerdreRREQ/grd3/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="69" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="PerdreRREQ/grd4/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="69" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="PerdreRREQ/inv1/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="69" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="PerdreRREQ/inv2/INV" org.eventb.core.confidence="0" org.eventb.core.poStamp="69" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="PerdreRREQ/act1/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="69" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="StoreRREP/grd5/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="114" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="StoreRREP/inv3/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="114" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="StoreRREP/inv4/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="114" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="ForwardRREP/inv4/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="116" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="PerdreRREP/inv3/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="80" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="PerdreRREP/inv4/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="80" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="RecevoirRREP/grd6/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="119" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="RecevoirRREP/grd8/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="122" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="RecevoirRREP/inv3/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="122" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="RecevoirRREP/inv4/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="122" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="RecevoirRREP/grd6/GRD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="122" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="RecevoirRREP/grd7/GRD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="122" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="RecevoirRREP/grd9/GRD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="122" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="RecevoirRREP/grd11/GRD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="122" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="RecevoirRREP/act3/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="122" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="RecevoirRREP/act1/SIM" org.eventb.core.confidence="1000" org.eventb.core.poStamp="122" org.eventb.core.psManual="false"/>
</org.eventb.core.psFile>