一款用于串行C语言程序形式化验证的自动化验证工具原型。科创验证基于Hoare逻辑对C程序进行演绎推理，验证C程序的行为是否满足形式化规约的描述，保证通过验证的程序的正确性
dns17.hichina.com
dns18.hichina.com
百度 (Baidu)
360 搜索
搜狗 (Sogou)
神马 (UC)
必应 (Bing)
谷歌 (Google)
子域名通常无法查询到独立的WHOIS信息。
原因是：WHOIS数据库仅存储顶级域名（如.com、.cn）和二级域名（如example.com）的注册信息，子域名（如sub.example.com）由主域名持有者通过DNS解析自行设置，并未单独在域名注册机构完成注册流程，因此没有对应的WHOIS记录。
若想了解子域名的相关信息，可通过DNS解析查询（A/CNAME等记录）、服务器信息追踪，或查询其所属主域名的WHOIS信息来间接获取主体相关内容。
泛域名本身无独立WHOIS注册记录，WHOIS查询针对的是已注册的具体域名。目前拨测的WHOIS批量查询不支持直接查询泛域名下的所有子域名，若需查询，需先整理已注册的具体子域名列表，再将这些具体域名导入进行批量WHOIS查询。
支持批量查询多个域名。以BOCE拨测平台为例，可通过两种方式操作：
批量查询后，可同时获取所有域名的注册商、创建时间、到期时间、DNS服务器、注册状态等完整WHOIS信息，还能导出结果报表，适合域名运维、投资人等批量管理域名的场景。需注意部分平台会基于合规性设置查询频率限制，避免过度查询。
联系
客服
