Enter Domain Name:
reacode.org: reacode.org
Reasoned code. Formal methods applied.

reacode.org

Description: Reasoned code. Formal methods applied.

Keywords: formal methods, petri nets, b-method, model checking, process algebra, logic, temporal logic, reasoning, csp, ccs, automated theorem proving, proof, safety-critical systems, realtime

Tags: reacode, org, methods, formal, reasoned, code, applied, logic, proof, proving, theorem, realtime, automated, systems, critical, safety, reasoning, model, method, nets, petri, checking, process, csp, temporal, algebra, ccs,

Reacode.org

Content Revalency: Title: 0.00%   Description: 0.00%   Keywords: 0.00%  |  Document size: 598 bytes
More info: Whois - Trace Route - RBL Check
REACODE.ORG - Site Location
Country/Flag SK Slovakia
City/Region/Zip Code , ,
Organization BENESTRA, s.r.o.
Internet Service Provider BENESTRA, s.r.o.
REACODE.ORG - Domain Information
Domain REACODE.ORG   [ Traceroute  RBL/DNSBL lookup ]
Registrar Tucows Inc.
Whois server whois.pir.org
Created --
Updated --
Expires --
Time Left 0 days 0 hours 0 minutes
Status clientTransferProhibited https://icann.org/epp#clientTransferProhibited clientUpdateProhibited https://icann.org/epp#clientUpdateProhibited
DNS servers NS.EXOHOSTING.SK   82.119.226.117
NS1.EXOHOSTING.SK   217.73.17.164
NS3.EXOHOSTING.SK   82.119.226.102
REACODE.ORG - DNS Information
IP Address 81.88.142.214 ~ Whois - Trace Route - RBL Check
Domain Name Servers ns3.exohosting.sk   94.23.169.142
ns1.exohosting.sk   92.240.235.93
ns.exohosting.sk   92.240.254.142
Mail Exchange mail.reacode.org   81.88.142.214
Site Response Header
Response HTTP/1.1 200 OK
Server Apache
Date Sat, 16 Apr 2011 06:04:48 GMT
Content-Type text/html