prismmodelchecker.org

How this site will look like in the search results

PRISM - Probabilistic Symbolic Model Checker

www.prismmodelchecker.org/

Used Html Elements - prismmodelchecker.org

Used Classes - prismmodelchecker.org

Where is www.prismmodelchecker.org hosted?

Server information

Country:

United Kingdom

City:

Oxford

Registrar:

Public Interest Registry

Latitude:

51.75

Longitude:

-1.25

IP address:

163.1.88.73

IP Binary address:

10100011000000010101100001001001

IP Octal address:

24300254111

IP Hexadecimal address:

a3015849

Context analysis of prismmodelchecker.org

Number of letters on this page:

2 835

Number of words on this page:

548

Number of sentences on this page:

Average words per sentences on this page:

Number of syllables on this page:

987

Number of Bold texts:

Images

Number of images:

Image source: /images/url_thin.png
Alternative text: www.prismmodelchecker.org
Image source: /images/p_blue.png
Alternative text: P
Image source: /images/ss_graph.png
Alternative text: Example PRISM graph
Image source: /images/valid_html.png
Alternative text: Valid HTML 4.1
Image source: /images/php_powered.png
Alternative text: Powered by PHP
Image source: /images/valid_css.png
Alternative text: Valid CSS

Javascripts on prismmodelchecker.org

Number of Javascripts:

prism.js

<HEAD> data information

Encoding:

UTF-8

keywords:

prism, probabilistic, symbolic, model, checker, verification, birmingham, oxford, parker, norman, kwiatkowska

External links in prismmodelchecker.org

http://groups.google.com/group/prismmodelchecker
http://groups.google.com/group/prismmodelchecker-dev
http://www.gnu.org/licenses/gpl.html
http://www.cs.ox.ac.uk/people/marta.kwiatkowska/
http://www.dcs.gla.ac.uk/people/personal/gethin/
http://www.cs.bham.ac.uk/~parkerdx/
http://validator.w3.org/check/referer
http://www.php.net/
http://jigsaw.w3.org/css-validator/check/referer
http://www.cs.bham.ac.uk/~parkerdx/projects/brass/postdoc.php
https://www.research.ibm.com/haifa/conferences/hvc2016/award.shtml

Technology profile

Google Analytics
CSS (Cascading Style Sheets)
Html (HyperText Markup Language)
Javascript
Php (Hypertext Preprocessor)

Prismmodelchecker.org Domain Owner

						prismmodelchecker.org domain lookup results from whois.pir.org server:

Domain Name: PRISMMODELCHECKER.ORG
Registry Domain ID: D148165989-LROR
Registrar WHOIS Server:
Registrar URL: http://www.tucows.com
Updated Date: 2015-08-11T21:00:09Z
Creation Date: 2007-06-19T13:47:25Z
Registry Expiry Date: 2018-06-19T13:47:25Z
Registrar Registration Expiration Date:
Registrar: Tucows Inc.
Registrar IANA ID: 69
Reseller:
Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited
Domain Status: clientUpdateProhibited https://icann.org/epp#clientUpdateProhibited
Registry Admin ID: C156185889-LROR
Admin Organization: University of Oxford
Admin Street: IT Services
Admin Street: 7-19 Banbury Road
Admin City: Oxford
Admin State/Province:
Admin Postal Code: OX2 6NN
Admin Country: GB
Admin Fax: +44.1865273275
Admin Fax Ext:
Registry Tech ID: C156185018-LROR
Tech Organization: University of Oxford
Tech Street: IT Services
Tech Street: 7-19 Banbury Road
Tech City: Oxford
Tech State/Province:
Tech Postal Code: OX2 6NN
Tech Country: GB
Tech Fax: +44.1865273275
Tech Fax Ext:
Name Server: DNS0.OX.AC.UK
Name Server: DNS2.OX.AC.UK
DNSSEC: unsigned
URL of the ICANN Whois Inaccuracy Complaint Form: https://www.icann.org/wicf/

Misspells

Possible misspells at internet search for www.prismmodelchecker.org.

www.prismmnodelchecker.org, www.prismnodelchecker.org, www.prismmhodelchecker.org, www.prismhodelchecker.org, www.prismmjodelchecker.org, www.prismjodelchecker.org, www.prismmkodelchecker.org, www.prismkodelchecker.org, www.prismmlodelchecker.org, www.prismlodelchecker.org, www.prismm odelchecker.org, www.prism odelchecker.org, www.prismmdelchecker.org, www.prismmoidelchecker.org, www.prismmidelchecker.org, www.prismmokdelchecker.org, www.prismmkdelchecker.org, www.prismmoldelchecker.org, www.prismmldelchecker.org, www.prismmopdelchecker.org, www.prismmpdelchecker.org, www.prismmo9delchecker.org, www.prismm9delchecker.org, www.prismmo0delchecker.org, www.prismm0delchecker.org, www.prismmoelchecker.org, www.prismmodxelchecker.org, www.prismmoxelchecker.org, www.prismmodselchecker.org, www.prismmoselchecker.org, www.prismmodwelchecker.org, www.prismmowelchecker.org, www.prismmodeelchecker.org, www.prismmoeelchecker.org, www.prismmodrelchecker.org, www.prismmorelchecker.org, www.prismmodfelchecker.org, www.prismmofelchecker.org, www.prismmodvelchecker.org, www.prismmovelchecker.org, www.prismmodcelchecker.org, www.prismmocelchecker.org, www.prismmodlchecker.org, www.prismmodewlchecker.org, www.prismmodwlchecker.org, www.prismmodeslchecker.org, www.prismmodslchecker.org, www.prismmodedlchecker.org, www.prismmoddlchecker.org, www.prismmodeflchecker.org, www.prismmodflchecker.org, www.prismmoderlchecker.org, www.prismmodrlchecker.org, www.prismmode3lchecker.org, www.prismmod3lchecker.org, www.prismmode4lchecker.org, www.prismmod4lchecker.org, www.prismmodechecker.org, www.prismmodepchecker.org, www.prismmodeochecker.org, www.prismmodeichecker.org, www.prismmodekchecker.org, www.prismmodemchecker.org, www.prismmode.checker.org,

More Sites

waterhavencondos.com
Waterhaven Condos
wesellblaine.com
WeSellBlaine.com – "Buy with Confidence, Sell with Success"
piqvueart.com
Piqvue | Art Studio
beachhomespontevedra.com
Berkshire Hathaway HomeServices Florida Network Realty - Detra Hagerman
chowrestaurant.com
Local, Organic, Sustainable Cuisine | Chow Food Bar
integra-walldorf.de
Integra Walldorf - Verein zur Integration und BeschäftigungIntegra Walldorf - Verein zur Integration und Beschäftigung
godsfamily.net
Божие Семейство - GodsFamily.net | „Затова вие не сте вече странници и пришълци, а сте съграждани на светиите и членове на Божието семейство…!“ (Еф.2:19)
nathaliebarten.nl
Nathalie Barten - grafisch ontwerp & fotografie
cashingcashing.net
キャッシング比較ならキャシヒカ
miraclecitysingers.nl
Miracle City Singers

attachmentPrismmodelchecker.org