|
|
ORA Canada Home Page
Description: ORA Canada's archive site
Keywords: ORA Canada, Ottawa, Canada, Z/EVES, Ada, EVES, Formal Methods, automated deduction, high integrity systems, program verification, critical systems, software, theorem proving, dependable systems, Z, model checking.
Tags:
oracanada,
canada,
ora,
home,
page,
eves,
new,
deduction,
automated,
ada,
site,
archive,
contact,
systems,
security,
formal,
high,
methods,
information,
software,
company,
ottawa,
critical,
assurance,
technology,
products,
theorem,
program,
verification,
dependable,
proving,
integrity,
model,
checking,
Oracanada.com
Content Revalency:
Title: 50.00%
Description: 80.00%
Keywords: 54.55% | Document size: 5,095 bytes
More info:
Whois -
Trace Route -
RBL Check
| ORACANADA.COM - Site Location |
| Country/Flag |
 Canada |
| City/Region/Zip Code |
Oakville, ON, L6J |
| Organization |
Host Papa |
| Internet Service Provider |
Peer 1 Network (USA) |
|
ORACANADA.COM - Domain Information |
| Domain |
ORACANADA.COM [ Traceroute RBL/DNSBL lookup ] |
| Registrar |
Godomaingo.com LLC Godomaingo.com LLC |
| Whois server |
whois.verisign-grs.com |
| Created |
12-Jun-2019 |
| Updated |
12-Jun-2019 |
| Expires |
12-Jun-2020 |
| Time Left |
0 days 0 hours 0 minutes |
| Status |
ok https://icann.org/epp#ok ok http://icann.org/epp#OK |
| DNS servers |
NS1626.ZTOMY.COM 204.11.56.26
NS2626.ZTOMY.COM 204.11.57.26
ns2626.ztomy.com 204.11.57.26
ns1626.ztomy.com 204.11.56.26
|
| Site Response Header |
| Response |
HTTP/1.1 200 OK |
| Server |
Apache |
| Date |
Fri, 15 Apr 2011 07:57:16 GMT |
| Content-Type |
text/html |
|
