~tapaal-ltl/verifypn/rule-D-fix

« back to all changes in this revision

Viewing changes to test_models/extra-test-007-liveness/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/extra-test-007-liveness/query.xml

 

1

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

 

2

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

 

3

  

 

4

  <property>

 

5

    <id>extra-test-007-liveness.TRUE-1</id>

 

6

    <description>extra-test-007-liveness.TRUE-1</description>

 

7

    <formula>

 

8

      <exists-path>

 

9

        <globally>

 

10

          <negation>

 

11

            <integer-gt>

 

12

              <tokens-count>

 

13

                <place>TAPN2_Error</place>

 

14

              </tokens-count>

 

15

              <integer-constant>0</integer-constant>

 

16

            </integer-gt>

 

17

          </negation>

 

18

        </globally>

 

19

      </exists-path>

 

20

    </formula>

 

21

  </property>

 

22

  <property>

 

23

    <id>extra-test-007-liveness.TRUE-2</id>

 

24

    <description>extra-test-007-liveness.TRUE-2</description>

 

25

    <formula>

 

26

      <exists-path>

 

27

        <finally>

 

28

          <integer-eq>

 

29

            <tokens-count>

 

30

              <place>TAPN2_Error</place>

 

31

            </tokens-count>

 

32

            <integer-constant>2</integer-constant>

 

33

          </integer-eq>

 

34

        </finally>

 

35

      </exists-path>

 

36

    </formula>

 

37

  </property>

 

38

  <property>

 

39

    <id>extra-test-007-liveness.FALSE-3</id>

 

40

    <description>extra-test-007-liveness.FALSE-3</description>

 

41

    <formula>

 

42

      <exists-path>

 

43

        <finally>

 

44

          <integer-eq>

 

45

            <tokens-count>

 

46

              <place>TAPN2_Error</place>

 

47

            </tokens-count>

 

48

            <integer-constant>3</integer-constant>

 

49

          </integer-eq>

 

50

        </finally>

 

51

      </exists-path>

 

52

    </formula>

 

53

  </property>

 

54

  <property>

 

55

    <id>extra-test-007-liveness.FALSE-4</id>

 

56

    <description>extra-test-007-liveness.FALSE-4</description>

 

57

    <formula>

 

58

      <all-paths>

 

59

        <finally>

 

60

          <integer-eq>

 

61

            <tokens-count>

 

62

              <place>Shared_P4s</place>

 

63

            </tokens-count>

 

64

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

 

65

          </integer-eq>

 

66

        </finally>

 

67

      </all-paths>

 

68

    </formula>

 

69

  </property>

 

70

</property-set>

• Older »

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