Backlink stats pvs.csl.sri.com

• Linkpop:	808
• Domainpop:	181
• IP-Pop:	136
• ClassC-Pop:	127

Referring Domains Referring Pages Recently Discovered Top Pages Status Codes Anchor Text Reverse IP

CSV

	Domain	IP	Referring Pages	DomainRank
1	xxxx://xxx.xx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xx.xx.xxx	1	12
2	http://plato.stanford.edu \| Details ► http://plato.stanford.edu/entries/reasoning-automated/	171.67.193.20	3	11
3	xxxx://xxx.xxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xx	1	11
4	http://www.ibiblio.org \| Details ► http://www.ibiblio.org/pub/Linux/docs/HOWTO/translations/fr/html-1page/AI-Alife-HOWTO.html	152.19.134.40	1	11
5	xxxx://xxx.xx.xxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xx	4	10

6	http://www.cs.cornell.edu \| Details ► http://www.cs.cornell.edu/info/people/kreitz/Abstracts/03cucs-pvs.html	132.236.207.36	3	10
7	xxxx://xxxxxxxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xx.xxx.xxx.xx	2	10
8	http://www.cs.umd.edu \| Details ► http://www.cs.umd.edu/class/spring2017/cmsc838M/projects.html	128.8.127.4	1	10
9	xxxx://xxx.xxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xx.xx	8	9
10	http://www.jaist.ac.jp \| Details ► http://www.jaist.ac.jp/~hirokawa/tool/	150.65.5.232	5	9
11	xxxx://xxx.xxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xxx	4	9
12	http://cs.nyu.edu \| Details ► http://cs.nyu.edu/acsys/tlpvs/tlpvs.html	216.165.22.203	3	9
13	xxxx://xxx-xxx.xxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.x.xx	3	9
14	http://www.iitk.ac.in \| Details ► http://www.iitk.ac.in/LDP/HOWTO/AI-Alife-HOWTO-2.html	202.3.77.184	2	9
15	xxxx://xxxxx.xxxxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xxx	2	9
16	http://people.eecs.berkeley.edu \| Details ► http://people.eecs.berkeley.edu/%7Erussell/aima/2nd-ed/ai.html	128.32.244.190	2	9
17	xxxx://xxx.xx.xxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.x.xx	2	9
18	http://www.seas.upenn.edu \| Details ► http://www.seas.upenn.edu/~sweirich/types/archive/1999-2003/msg00202.html	158.130.68.91	1	9
19	xxxx://xxx.xxx.xx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xx	1	9
20	http://cseweb.ucsd.edu \| Details ► http://cseweb.ucsd.edu//classes/sp06/cse291-a/readings.html	132.239.8.30	1	9
21	xxxx://xxx.xx.xx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.x.xxx	144	8
22	http://www.cse.chalmers.se \| Details ► http://www.cse.chalmers.se/~abela//lehre/WS05-06/CAFR/	129.16.221.33	15	8
23	xxxx://xxxxxx-xxx-xxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xx.xxx.xxx.xxx	10	8
24	http://www-verimag.imag.fr \| Details ► http://www-verimag.imag.fr/Formal-Verification-Theory.html	129.88.40.24	5	8
25	xxxx://xxxx.xx.xxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xxx	3	8
26	http://www.fedoraproject.org \| Details ► http://www.fedoraproject.org/wiki/Formal_methods_tool_suite	38.145.60.20	2	8
27	xxxx://xxx.xxx.xxx.xxx ► Please log in first to see full page URL. Create Account!	xx.x.xx.xxx	2	8
28	http://www.geometry.net \| Details ► http://www.geometry.net/detail/pure_and_applied_math/real_functions_page_no_4.html	169.60.163.244	2	8
29	xxxx://xxx.xxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xx	2	8
30	http://www.fit.vutbr.cz \| Details ► http://www.fit.vutbr.cz/study/courses/SAV/public/	147.229.9.23	2	8
31	xxxx://xxx.xxxx.xxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xxx	2	8
32	http://users.encs.concordia.ca \| Details ► http://users.encs.concordia.ca/%7Etphols08/TPHOLs2008/history.php	132.205.96.37	2	8
33	xxxx://xxx.xxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.xx.xx	2	8
34	http://docs.fedoraproject.org \| Details ► http://docs.fedoraproject.org/en-US/Fedora/16/html/Technical_Notes/ar01s03.html	85.236.55.6	1	8
35	xxxx://xxxxx.xxx ► Please log in first to see full page URL. Create Account!	xx.xxx.xx.xx	1	8
36	http://www.ieee802.org \| Details ► http://www.ieee802.org/16/pub/buzz.html	54.84.190.55	1	8
37	xxxx://xxxxxxx.xxxx.xxx ► Please log in first to see full page URL. Create Account!	xx.xx.xxx.xx	1	8
38	http://curlie.org \| Details ► http://curlie.org/en/Science/Math/Logic_and_Foundations/Software	52.3.111.247	1	8
39	xxxx://xxxxx.xxx ► Please log in first to see full page URL. Create Account!	xx.xxx.xxx.xx	1	8
40	http://www.einet.net \| Details ► http://www.einet.net/dir962635/Software.htm	209.37.248.22	1	8
41	xxxx://xxx.xxxxx.xx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.x.xxx	1	8
42	http://www.cs.ucf.edu \| Details ► http://www.cs.ucf.edu/~leavens/favorite-places/softwareEngineering.html	132.170.216.243	1	8
43	xxxx://xxxxxxxxxxx.xxxx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xx	1	8
44	http://www.cs.uoregon.edu \| Details ► http://www.cs.uoregon.edu/research/summerschool/summer02/biblio.html	128.223.4.25	1	8
45	xxxx://xxxxxxx.xxxx.xxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xxx	28	7
46	http://www.cs.us.es \| Details ► http://www.cs.us.es/blogs/ontoblogia/2007/06/	150.214.140.135	13	7
47	xxxx://xxx.xxx.xxxxxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xx.xx	7	7
48	http://www.cs.uwyo.edu \| Details ► http://www.cs.uwyo.edu/~ruben/itp-2014/Main/History.html	129.72.216.15	4	7
49	xxxx://xxxx.xxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xx.xxx.xxx.xxx	2	7
50	http://ftp.netbsd.org \| Details ► http://ftp.netbsd.org/pub/NetBSD/NetBSD-current/pkgsrc/devel/pvs/index.html	199.233.217.201	2	7