AS207

AS207 is a legacy autonomous system number registered under ARIN to Computational Logic, Inc. (CLI), a now-defunct research-and-development company based in Austin, Texas. CLI was a University of Texas at Austin spin-off founded in 1983 by Robert S. Boyer and J Strother Moore, and it specialized in the formal verification of hardware and software systems — mathematical proof of correctness rather than conventional testing. The company is publicly recognized for work on automated reasoning (the Boyer-Moore theorem prover lineage that became ACL2) and for industrial verification projects, including the formal verification of floating-point division on the AMD K5 processor in 1996. CLI was a research firm, not a commercial ISP, and the ASN — handle CLI-GW-AS — appears to have supported the organization's internal gateway connectivity during its active period (roughly 1983–1997). The key triage point for AS207 is that it is fully dormant today. Every routing source consulted (RIPEstat, CAIDA AS Rank, bgp.he.net) agrees it announces zero IPv4 and zero IPv6 prefixes, is seen by 0 of 327 RIS v4 peers and 0 of 323 v6 peers, has zero BGP neighbours, and carries a CAIDA AS rank of 79,459 near the bottom of the global ranking with a singleton customer cone. RIPEstat shows no routing history back to its earliest record (2000-08-01), and bgp.he.net reports the ASN was last visible in the global table on 2019-08-21. The ARIN registry status reads "active," but that reflects only the registry record, not live routing. RPKI posture is not assessable because no prefix is announced, so there are no ROAs to validate. The registered point of contact, Warren A. Hunt (ARIN handle WAH11-ARIN), has been flagged by ARIN as an Unvalidated POC with no response since 2010-06-22, so the contact is effectively unreachable. No notable public abuse signal was found as of June 2026 — AS207 does not appear in Spamhaus ASN-DROP, no NANOG archive discussions reference it in a security context, and with zero active prefixes since 2019 there is effectively no attack surface.

Operator

Computational Logic, Inc. (formal-verification R&D firm; ARIN org handle COMPUT-1, registrant of AS207; Austin, TX) [Confirmed] — ARIN RDAP autnum/207 registrant entity

Country / RIR

US, ARIN [Confirmed] — RIPEstat abuse-contact-finder (authoritative_rir: arin), CAIDA country.iso US

Allocated

1988-06-22 (ARIN registry date from autnum top-level events eventAction=registration, NOT an IEEE date — IEEE publishes no ASN registration dates); last changed 1991-01-10 [Confirmed] — ARIN RDAP autnum/207 top-level events

Org status

defunct/dissolved — Computational Logic, Inc. operated roughly 1983–1997 as a UT Austin spin-off and ceased operations circa 1997, leaving an online research archive; the computationallogic.com site still resolves but has an expired/invalid TLS cert as of 2026 [Confirmed for defunct; Likely for site state] — computationallogic.com/corp/cli-background.html, bgp.he.net/AS207

Contacts

registered POC Warren A. Hunt (ARIN handle WAH11-ARIN); the POC's personal contact details are withheld here — consult the ARIN RDAP record directly. ARIN flags this POC as Unvalidated — no response since 2010-06-22; registered org address 1717 West 6th Street, Suite 290, Austin, TX 78703, US

[Confirmed] — ARIN RDAP autnum/207 (WAH11-ARIN vcard, Unvalidated POC remark)

Security/abuse context (NEUTRAL, DATED)

no notable public abuse signal found as of 2026-06-19 — not in Spamhaus ASN-DROP; no NANOG archive discussions reference AS207 in a security/abuse context; zero active prefixes since 2019 eliminates the attack surface. AbuseIPDB / Stop Forum Spam ASN-level lookups returned 403/blocked and could not be verified directly [Confirmed for Spamhaus/NANOG null; Unknown for blocked feeds] — spamhaus.org/drop/asndrop.json, seclists.org/nanog, bgp.he.net/AS207

Network & routing

Network type

research/academic internal connectivity (CLI was a formal-methods R&D company, not a commercial ISP or hosting provider); legacy/inactive [Likely] — ipinfo.io/AS207, computationallogic.com/corp/cli-background.html

Size

dormant — 0 IPv4 prefixes / 0 IPv4 addresses and 0 IPv6 prefixes; CAIDA customer cone = 1 ASN (itself), 0 prefixes, 0 addresses [Confirmed] — RIPEstat routing-status / announced-prefixes, CAIDA AS Rank, bgp.he.net (2026-06)

Routing/peering

NOT announced — 0 RIS peers seeing it (0/327 v4, 0/323 v6); CAIDA degree total 0 (customer 0, peer 0, provider 0); no upstreams or peers visible in any source; no PeeringDB entry [Confirmed] — RIPEstat routing-status, CAIDA AS Rank, bgp.he.net

RPKI

not assessable — AS207 announces no prefixes, so there are no ROAs to validate; RIPEstat rpki-validation skipped (no announced prefix) [Confirmed] — RIPEstat rpki-validation (skipped)

Notable usage

Computational Logic, Inc. performed advanced research in formal verification of hardware/software systems; notable work includes formally verifying AMD K5 floating-point division (1996) and the Boyer-Moore/ACL2 automated-reasoning lineage. The ASN supported internal network operations during the company's active period (~1983–1997)

[Likely] — computationallogic.com/corp/cli-background.html, en.wikipedia.org/wiki/J_Strother_Moore

Last seen routing

2019-08-21 per bgp.he.net (last date AS207 was visible in the global table); RIPEstat carries no first_seen/last_seen back to its earliest record 2000-08-01 [Confirmed] — bgp.he.net/AS207, RIPEstat routing-status

Analyst note

Encountered as a fully dormant legacy ASN registered to a defunct research firm. ARIN status reads "active" but there is no live routing — zero announcements, zero peers, zero cone across every source, with no global-table visibility since 2019. Clean, inactive ASN.