~tapaal-red/verifypn/rule-l

« back to all changes in this revision

Viewing changes to test_models/abp-test003/query.xml

• browse files at revision 213.1.141
• compare with another revision
• download diff
• download tarball
• view history from revision 213.1.141

Show diffs side-by-side

added

removed

test_models/abp-test003/query.xml

 

1

<?xml version="1.0" encoding="UTF-8" standalone="no"?>

 

2

<property-set xmlns="http://tapaal.net/">

 

3

  

 

4

  <property>

 

5

    <id>abp-test003.TRUE-1</id>

 

6

    <description>abp-test003.TRUE-1</description>

 

7

    <formula>

 

8

      <exists-path>

 

9

        <finally>

 

10

          <disjunction>

 

11

            <conjunction>

 

12

              <integer-ge>

 

13

                <tokens-count>

 

14

                  <place>Sender_0_A</place>

 

15

                </tokens-count>

 

16

                <integer-constant>1</integer-constant>

 

17

              </integer-ge>

 

18

              <disjunction>

 

19

                <integer-ge>

 

20

                  <tokens-count>

 

21

                    <place>Receiver_0_B</place>

 

22

                  </tokens-count>

 

23

                  <integer-constant>1</integer-constant>

 

24

                </integer-ge>

 

25

                <integer-ge>

 

26

                  <tokens-count>

 

27

                    <place>Receiver_1_A</place>

 

28

                  </tokens-count>

 

29

                  <integer-constant>1</integer-constant>

 

30

                </integer-ge>

 

31

              </disjunction>

 

32

            </conjunction>

 

33

            <conjunction>

 

34

              <integer-ge>

 

35

                <tokens-count>

 

36

                  <place>Sender_1_A</place>

 

37

                </tokens-count>

 

38

                <integer-constant>1</integer-constant>

 

39

              </integer-ge>

 

40

              <disjunction>

 

41

                <integer-ge>

 

42

                  <tokens-count>

 

43

                    <place>Receiver_0_A</place>

 

44

                  </tokens-count>

 

45

                  <integer-constant>1</integer-constant>

 

46

                </integer-ge>

 

47

                <integer-ge>

 

48

                  <tokens-count>

 

49

                    <place>Receiver_1_B</place>

 

50

                  </tokens-count>

 

51

                  <integer-constant>1</integer-constant>

 

52

                </integer-ge>

 

53

              </disjunction>

 

54

            </conjunction>

 

55

          </disjunction>

 

56

        </finally>

 

57

      </exists-path>

 

58

    </formula>

 

59

  </property>

 

60

</property-set>

• Older »

Loggerhead is a web-based interface for Breezy
Version: 2.0.1