Pi.s.a III : a Pi-calculus Static Analyzer: Results

main menu

control flow analysis
occurrence counting analysis
log
help
new analysis
home page

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

control flow analysis

(# rec)(# l0)(# c0)(# r0)(# set)
(rec!¹[l0,c0,r0]
| *rec?²[l,c,r](# ll)(# cc)(# rr)(#make)
        (rec!³[ll,cc,rr] | c!⁴[] | make!⁵[]
         *make?⁶[](ll!⁷[l,c,r] | make!⁸[]) |
         *make?⁹[](r!¹⁰[ll,cc,rr] | make!¹¹[]) |
         *make?¹²[](set!¹³[l,c,r] | make!¹⁴[]))
| *set?¹⁵[la,ca,ra]ra?¹⁶[lb,cb,rb]lb?¹⁷[lc,cc,rc]ca?¹⁸[]cc?¹⁹[])

Please select a channel name or return to the main menu

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

(# rec)(# l0)(# c0)(# r0)(# set)
(rec!¹[l0,c0,r0]
| *rec?²[l,c,r](# ll)(# cc)(# rr)(#make)
        (rec!³[ll,cc,rr] | c!⁴[] | make!⁵[]
         *make?⁶[](ll!⁷[l,c,r] | make!⁸[]) |
         *make?⁹[](r!¹⁰[ll,cc,rr] | make!¹¹[]) |
         *make?¹²[](set!¹³[l,c,r] | make!¹⁴[]))
| *set?¹⁵[la,ca,ra]ra?¹⁶[lb,cb,rb]lb?¹⁷[lc,cc,rc]ca?¹⁸[]cc?¹⁹[])

main menu - control flow analysis

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

Start --> (2,1)A
A --> END+ (2,3)A

Start --> END

(2,1) + 1 = (2,1)

main menu - control flow analysis - (# rec)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

Start --> END

main menu - control flow analysis - (# rec)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

Start --> END

main menu - control flow analysis - (# rec)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

Start --> END

main menu - control flow analysis - (# l0)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

Start --> (2,1)A
A --> (6,5)D+ (12,5)C+ (9,5)B
B --> (6,11)D+ (12,11)C+ (9,11)B
C --> (6,14)D+ (12,14)C+ (9,14)B
D --> END+ (6,8)D+ (12,8)C+ (9,8)B

Start --> END

(2,1) + 1 = (2,1)

main menu - control flow analysis - (# l0)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

Start --> (2,1)A
A --> (6,5)D+ (12,5)C+ (9,5)B
B --> (6,11)D+ (12,11)C+ (9,11)B
C --> END+ (6,14)D+ (12,14)C+ (9,14)B
D --> (6,8)D+ (12,8)C+ (9,8)B

Start --> END

(2,1) + 1 = (2,1)

main menu - control flow analysis - (# l0)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

Start --> (2,1)A
A --> END

Start --> END

(2,1) + 1 = (2,1)

main menu - control flow analysis - (# c0)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

Start --> END

main menu - control flow analysis - (# c0)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

Start --> (2,1)A
A --> (6,5)D+ (12,5)C+ (9,5)B
B --> (6,11)D+ (12,11)C+ (9,11)B
C --> (15,13)E+ (6,14)D+ (12,14)C+ (9,14)B
D --> (6,8)D+ (12,8)C+ (9,8)B
E --> END

Start --> END

(15,13) + 1 = (15,13)
(2,1) + 1 = (2,1)

main menu - control flow analysis - (# c0)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

Start --> (2,1)A
A --> (6,5)D+ (12,5)C+ (9,5)B
B --> (6,11)D+ (12,11)C+ (9,11)B
C --> (6,14)D+ (12,14)C+ (9,14)B
D --> END+ (6,8)D+ (12,8)C+ (9,8)B

Start --> END

(2,1) + 1 = (2,1)

main menu - control flow analysis - (# c0)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

Start --> (2,1)A
A --> (6,5)D+ (12,5)C+ (9,5)B
B --> (6,11)D+ (12,11)C+ (9,11)B
C --> END+ (6,14)D+ (12,14)C+ (9,14)B
D --> (6,8)D+ (12,8)C+ (9,8)B

Start --> END

(2,1) + 1 = (2,1)

main menu - control flow analysis - (# c0)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

Start --> END

main menu - control flow analysis - (# r0)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

Start --> (2,1)A
A --> (12,5)C+ (6,5)D+ (9,5)B
B --> (12,11)C+ (6,11)D+ (9,11)B
C --> (12,14)C+ (15,13)E+ (6,14)D+ (9,14)B
D --> (12,8)C+ (6,8)D+ (9,8)B
E --> END

Start --> END

(15,13) + 1 = (15,13)
(2,1) + 1 = (2,1)

main menu - control flow analysis - (# r0)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

Start --> (2,1)A
A --> (6,5)D+ (12,5)C+ (9,5)B
B --> (6,11)D+ (12,11)C+ (9,11)B
C --> (6,14)D+ (12,14)C+ (9,14)B
D --> END+ (6,8)D+ (12,8)C+ (9,8)B

Start --> END

(2,1) + 1 = (2,1)

main menu - control flow analysis - (# r0)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

Start --> (2,1)A
A --> (6,5)D+ (12,5)C+ (9,5)B
B --> (6,11)D+ (12,11)C+ (9,11)B
C --> END+ (6,14)D+ (12,14)C+ (9,14)B
D --> (6,8)D+ (12,8)C+ (9,8)B

Start --> END

(2,1) + 1 = (2,1)

main menu - control flow analysis - (# r0)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

Start --> (2,1)A
A --> (6,5)D+ (12,5)C+ (9,5)B
B --> END+ (6,11)D+ (12,11)C+ (9,11)B
C --> (6,14)D+ (12,14)C+ (9,14)B
D --> (6,8)D+ (12,8)C+ (9,8)B

Start --> END

(2,1) + 1 = (2,1)

main menu - control flow analysis - (# r0)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

Start --> END

main menu - control flow analysis - (# set)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

Start --> (2,1)A
A --> (2,3)A+ (6,5)D+ (12,5)C+ (9,5)B
B --> (6,11)D+ (12,11)C+ (9,11)B
C --> END+ (6,14)D+ (12,14)C+ (9,14)B
D --> (6,8)D+ (12,8)C+ (9,8)B

Start --> END

(2,1) + 1 = (2,1)

main menu - control flow analysis - (# set)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

Start --> (2,1)A
A --> END+ (2,3)A

(2,1) = (2,1)
(2,3) = (2,3)

main menu - control flow analysis - (# ll)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

Start --> (2,1)A
A --> (2,3)A+ (12,5)C+ (6,5)D+ (9,5)B
B --> (12,11)C+ (6,11)D+ (9,11)B
C --> (12,14)C+ (15,13)E+ (6,14)D+ (9,14)B
D --> (12,8)C+ (6,8)D+ (9,8)B
E --> END

Start --> (2,1)A
A --> END+ (2,3)A

(2,1) = (2,1)
(2,3) = (2,3)
(15,13) + 1 = (15,13)

main menu - control flow analysis - (# ll)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

Start --> (2,1)A
A --> (2,3)A+ (6,5)D+ (12,5)C+ (9,5)B
B --> (6,11)D+ (12,11)C+ (9,11)B
C --> (6,14)D+ (12,14)C+ (9,14)B
D --> END+ (6,8)D+ (12,8)C+ (9,8)B

Start --> (2,1)A
A --> END+ (2,3)A

(2,3) + 1 = (2,3)
(2,1) = (2,1)

main menu - control flow analysis - (# ll)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

Start --> (2,1)A
A --> (2,3)A+ (6,5)D+ (12,5)C+ (9,5)B
B --> (6,11)D+ (12,11)C+ (9,11)B
C --> (6,14)D+ (12,14)C+ (9,14)B
D --> END+ (6,8)D+ (12,8)C+ (9,8)B

Start --> (2,1)A
A --> END+ (2,3)A

(2,1) = (2,1)
(2,3) = (2,3)

main menu - control flow analysis - (# ll)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

Start --> (2,1)A
A --> (2,3)A+ (6,5)D+ (12,5)C+ (9,5)B
B --> (6,11)D+ (12,11)C+ (9,11)B
C --> END+ (6,14)D+ (12,14)C+ (9,14)B
D --> (6,8)D+ (12,8)C+ (9,8)B

Start --> (2,1)A
A --> END+ (2,3)A

(2,1) = (2,1)
(2,3) + 1 = (2,3)

main menu - control flow analysis - (# ll)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

Start --> (2,1)A
A --> (2,3)A+ (6,5)D+ (12,5)C+ (9,5)B
B --> END+ (6,11)D+ (12,11)C+ (9,11)B
C --> (6,14)D+ (12,14)C+ (9,14)B
D --> (6,8)D+ (12,8)C+ (9,8)B

Start --> (2,1)A
A --> END+ (2,3)A

(2,1) = (2,1)
(2,3) = (2,3)

main menu - control flow analysis - (# ll)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

Start --> (2,1)A
A --> (2,3)A+ (6,5)D+ (12,5)C+ (9,5)B
B --> END+ (6,11)D+ (12,11)C+ (9,11)B
C --> (6,14)D+ (12,14)C+ (9,14)B
D --> (6,8)D+ (12,8)C+ (9,8)B

Start --> (2,1)A
A --> END+ (2,3)A

(2,1) = (2,1)
(2,3) = (2,3)

main menu - control flow analysis - (# cc)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

Start --> (2,1)A
A --> END+ (2,3)A

(2,1) = (2,1)
(2,3) = (2,3)

main menu - control flow analysis - (# cc)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

Start --> (2,1)A
A --> (2,3)A+ (6,5)D+ (12,5)C+ (9,5)B
B --> (6,11)D+ (12,11)C+ (9,11)B
C --> (15,13)E+ (6,14)D+ (12,14)C+ (9,14)B
D --> (6,8)D+ (12,8)C+ (9,8)B
E --> END

Start --> (2,1)A
A --> END+ (2,3)A

(2,3) + 1 = (2,3)
(2,1) = (2,1)
(15,13) + 1 = (15,13)

main menu - control flow analysis - (# cc)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

Start --> (2,1)A
A --> (2,3)A+ (6,5)D+ (12,5)C+ (9,5)B
B --> (6,11)D+ (12,11)C+ (9,11)B
C --> (15,13)E+ (6,14)D+ (12,14)C+ (9,14)B
D --> (6,8)D+ (12,8)C+ (9,8)B
E --> END

Start --> (2,1)A
A --> END+ (2,3)A

(2,1) = (2,1)
(2,3) + 1 = (2,3)
(15,13) + 1 = (15,13)

main menu - control flow analysis - (# cc)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

Start --> (2,1)A
A --> (2,3)A+ (6,5)D+ (12,5)C+ (9,5)B
B --> (6,11)D+ (12,11)C+ (9,11)B
C --> (6,14)D+ (12,14)C+ (9,14)B
D --> END+ (6,8)D+ (12,8)C+ (9,8)B

Start --> (2,1)A
A --> END+ (2,3)A

(2,3) + 1 = (2,3)
(2,1) = (2,1)

main menu - control flow analysis - (# cc)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

Start --> (2,1)A
A --> (2,3)A+ (6,5)D+ (12,5)C+ (9,5)B
B --> (6,11)D+ (12,11)C+ (9,11)B
C --> END+ (6,14)D+ (12,14)C+ (9,14)B
D --> (6,8)D+ (12,8)C+ (9,8)B

Start --> (2,1)A
A --> END+ (2,3)A

(2,1) = (2,1)
(2,3) + 1 = (2,3)

main menu - control flow analysis - (# cc)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

Start --> (2,1)A
A --> (2,3)B
B --> END+ (2,3)B

Start --> (2,1)A
A --> END+ (2,3)A

(2,1) = (2,1)
(2,3) + 1 = (2,3)

main menu - control flow analysis - (# cc)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

Start --> (2,1)A
A --> (2,3)A+ (6,5)D+ (12,5)C+ (9,5)B
B --> END+ (6,11)D+ (12,11)C+ (9,11)B
C --> (6,14)D+ (12,14)C+ (9,14)B
D --> (6,8)D+ (12,8)C+ (9,8)B

Start --> (2,1)A
A --> END+ (2,3)A

(2,1) = (2,1)
(2,3) = (2,3)

main menu - control flow analysis - (# rr)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

Start --> (2,1)A
A --> END+ (2,3)A

(2,1) = (2,1)
(2,3) = (2,3)

main menu - control flow analysis - (# rr)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

Start --> (2,1)A
A --> (2,3)A+ (6,5)D+ (12,5)C+ (9,5)B
B --> (6,11)D+ (12,11)C+ (9,11)B
C --> (6,14)D+ (12,14)C+ (9,14)B
D --> END+ (6,8)D+ (12,8)C+ (9,8)B

Start --> (2,1)A
A --> END+ (2,3)A

(2,3) + 1 = (2,3)
(2,1) = (2,1)

main menu - control flow analysis - (# rr)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

Start --> (2,1)A
A --> (2,3)A+ (6,5)D+ (12,5)C+ (9,5)B
B --> END+ (6,11)D+ (12,11)C+ (9,11)B
C --> (6,14)D+ (12,14)C+ (9,14)B
D --> (6,8)D+ (12,8)C+ (9,8)B

Start --> (2,1)A
A --> END+ (2,3)A

(2,1) = (2,1)
(2,3) + 1 = (2,3)

main menu - control flow analysis - (# rr)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

Start --> (2,1)A
A --> (2,3)A+ (12,5)C+ (6,5)D+ (9,5)B
B --> (12,11)C+ (6,11)D+ (9,11)B
C --> (12,14)C+ (15,13)E+ (6,14)D+ (9,14)B
D --> (12,8)C+ (6,8)D+ (9,8)B
E --> END

Start --> (2,1)A
A --> END+ (2,3)A

(2,1) = (2,1)
(2,3) + 1 = (2,3)
(15,13) + 1 = (15,13)

main menu - control flow analysis - (# rr)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

Start --> (2,1)A
A --> (2,3)A+ (6,5)D+ (12,5)C+ (9,5)B
B --> (6,11)D+ (12,11)C+ (9,11)B
C --> END+ (6,14)D+ (12,14)C+ (9,14)B
D --> (6,8)D+ (12,8)C+ (9,8)B

Start --> (2,1)A
A --> END+ (2,3)A

(2,1) = (2,1)
(2,3) + 1 = (2,3)

main menu - control flow analysis - (# rr)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

Start --> (2,1)A
A --> END+ (2,3)A

(2,1) = (2,1)
(2,3) = (2,3)

main menu - control flow analysis - (#make)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

Start --> (2,1)A
A --> END+ (2,3)A

(2,1) = (2,1)
(2,3) = (2,3)

main menu - control flow analysis - (#make)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

Start --> (2,1)A
A --> END+ (2,3)A

(2,1) = (2,1)
(2,3) = (2,3)

main menu - control flow analysis - (#make)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

Start --> (2,1)A
A --> (2,3)A+ (6,5)D+ (12,5)C+ (9,5)B
B --> (6,11)D+ (12,11)C+ (9,11)B
C --> (6,14)D+ (12,14)C+ (9,14)B
D --> END+ (6,8)D+ (12,8)C+ (9,8)B

Start --> (2,1)A
A --> END+ (2,3)A

(2,1) = (2,1)
(2,3) = (2,3)

main menu - control flow analysis - (#make)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

Start --> (2,1)A
A --> (2,3)A+ (6,5)D+ (12,5)C+ (9,5)B
B --> (6,11)D+ (12,11)C+ (9,11)B
C --> END+ (6,14)D+ (12,14)C+ (9,14)B
D --> (6,8)D+ (12,8)C+ (9,8)B

Start --> (2,1)A
A --> END+ (2,3)A

(2,1) = (2,1)
(2,3) = (2,3)

main menu - control flow analysis - (#make)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

Start --> (2,1)A
A --> (2,3)A+ (6,5)D+ (12,5)C+ (9,5)B
B --> END+ (6,11)D+ (12,11)C+ (9,11)B
C --> (6,14)D+ (12,14)C+ (9,14)B
D --> (6,8)D+ (12,8)C+ (9,8)B

Start --> (2,1)A
A --> END+ (2,3)A

(2,1) = (2,1)
(2,3) = (2,3)

main menu - control flow analysis - (#make)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

Start --> (2,1)A
A --> END+ (2,3)A

(2,1) = (2,1)
(2,3) = (2,3)

main menu - control flow analysis - (#make)

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

occurrence counting analysis

(# rec)(# l0)(# c0)(# r0)(# set)
(rec!^1:[|0;1|][l0,c0,r0]
| *rec?^2:1[l,c,r](# ll)(# cc)(# rr)(#make)
        (rec!^3:[|0;1|][ll,cc,rr] | c!^4:[|0;+oo|[[] | make!^5:[|0;+oo|[[]
         *make?^6:[|0;+oo|[[](ll!^7:[|0;+oo|[[l,c,r] | make!^8:[|0;+oo|[[]) |
         *make?^9:[|0;+oo|[[](r!^10:[|0;+oo|[[ll,cc,rr] | make!^11:[|0;+oo|[[]) |
         *make?^12:[|0;+oo|[[](set!^13:[|0;+oo|[[l,c,r] | make!^14:[|0;+oo|[[]))
| *set?^15:1[la,ca,ra]ra?^16:[|0;+oo|[[lb,cb,rb]lb?^17:[|0;+oo|[[lc,cc,rc]ca?^18:[|0;+oo|[[]cc?^19:[|0;+oo|[[])

main menu

Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.

log

parsing : 0.01s
analysis : 11.59s
displaying: 0.47s

main menu
Pi-s.a. Version 3.24, last Modified Fri November 19 2004
Pi-s.a. is an experimental prototype for academic use only.