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 | ![]() |
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 |