Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | VeriQ | Verification Toolchain for Quantum |
Description | Verification Toolchain for Quantum |
Keywords | N/A |
WebSite | veri-q.com |
Host IP | 172.67.128.113 |
Location | United States |
Site | Rank |
US$1,911
Last updated: 2023-05-08 10:56:04
veri-q.com has Semrush global rank of 0. veri-q.com has an estimated worth of US$ 1,911, based on its estimated Ads revenue. veri-q.com receives approximately 220 unique visitors each day. Its web server is located in United States, with IP address 172.67.128.113. According to SiteAdvisor, veri-q.com is safe to visit. |
Purchase/Sale Value | US$1,911 |
Daily Ads Revenue | US$1 |
Monthly Ads Revenue | US$52 |
Yearly Ads Revenue | US$635 |
Daily Unique Visitors | 14 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
veri-q.com. | A | 300 | IP: 172.67.128.113 |
veri-q.com. | A | 300 | IP: 104.21.2.2 |
veri-q.com. | AAAA | 300 | IPV6: 2606:4700:3030::ac43:8071 |
veri-q.com. | AAAA | 300 | IPV6: 2606:4700:3033::6815:202 |
veri-q.com. | NS | 86400 | NS Record: sima.ns.cloudflare.com. |
veri-q.com. | NS | 86400 | NS Record: henry.ns.cloudflare.com. |
VeriQ Home Members Publications Tools QDA (Design Automation for Quantum Computing) Quantum Programs Verification and Analysis Trustworthy Quantum Artificial Intelligence Contact Blog VeriQ Verification Toolchain for Quantum Computing VeriQ is a toolchain for verification of quantum computing, focusing on the following three aspects: QDA (Design Automation for Quantum Computing) Quantum Programs Verification and Analysis Trustworthy Quantum Artificial Intelligence Latest News Paper accepted at LICS’22 Our paper Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs has been selected as Distinguished Paper at LICS 2022, the 37th Annual ACM/IEEE Symposium on Logic in Computer Science. Read more Published: Jul 1, 2022 Paper accepted at CAV’22 Our paper Verifying Fairness in Quantum Machine Learning has been accepted at CAV’22, the 34th International Conference on Computer Aided Verification. This is the only one accepted work in the field of quantum |
HTTP/1.1 301 Moved Permanently Date: Fri, 29 Oct 2021 21:41:45 GMT Connection: keep-alive Cache-Control: max-age=3600 Expires: Fri, 29 Oct 2021 22:41:45 GMT Location: https://veri-q.com/ Report-To: {"endpoints":[{"url":"https:\/\/a.nel.cloudflare.com\/report\/v3?s=Ycn2lR2fuqx0KKfGLjP6PelKkMwlsI0QymQG2gl8eA5KZKp%2FhE9ztukUhSupmZgPcFfKBkbom0Uf7xm8gfKpVdVH3xJa9gqfWqtA5wJq9fSNXFfH6Mw2IR4j%2FVai"}],"group":"cf-nel","max_age":604800} NEL: {"success_fraction":0,"report_to":"cf-nel","max_age":604800} Server: cloudflare CF-RAY: 6a5f91dcc830c510-ORD alt-svc: h3=":443"; ma=86400, h3-29=":443"; ma=86400, h3-28=":443"; ma=86400, h3-27=":443"; ma=86400 HTTP/2 301 date: Fri, 29 Oct 2021 21:41:46 GMT content-type: text/html; charset=UTF-8 age: 0 location: https://www.veri-q.com/ vary: User-Agent x-backend: local x-cache: uncached x-cache-hit: MISS x-cacheable: NO:HTTPS Redirect x-content-type-options: nosniff x-redirect-by: WordPress x-xss-protection: 1; mode=block cf-cache-status: DYNAMIC expect-ct: max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct" report-to: {"endpoints":[{"url":"https:\/\/a.nel.cloudflare.com\/report\/v3?s=3sjtEo6K9z0KaMEkhpaN8Uk%2FmRG%2FyTJ6cmxXsRVkWO3oj3vSBUgRHzlOOMZVS%2FkzhZ7u1hCFLRJkkRu1kzWmTUA9PUJmPlSPW5VN61W0KXMzpzduF7R%2FtTYQZV%2FJ"}],"group":"cf-nel","max_age":604800} nel: {"success_fraction":0,"report_to":"cf-nel","max_age":604800} server: cloudflare cf-ray: 6a5f91dd2e64630c-ORD alt-svc: h3=":443"; ma=86400, h3-29=":443"; ma=86400, h3-28=":443"; ma=86400, h3-27=":443"; ma=86400 HTTP/2 200 date: Fri, 29 Oct 2021 21:41:47 GMT content-type: text/html; charset=UTF-8 age: 76002 vary: Accept-Encoding, User-Agent x-backend: local x-cache: cached x-cache-hit: HIT x-cacheable: YES:Forced x-content-type-options: nosniff x-xss-protection: 1; mode=block cf-cache-status: DYNAMIC expect-ct: max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct" report-to: {"endpoints":[{"url":"https:\/\/a.nel.cloudflare.com\/report\/v3?s=MHfetngjWVtKpBzzAHRCYT75ejpJTLRa2LUZZ0c9RzzUtCWt6tsMOEjsvSMbM55SgFU43jqpIKqIqu5DhIMJePgYn%2Bj8FS2TL5FHKd%2Fwmq7CEwcDrOq57zqFgH3jd1knHw%3D%3D"}],"group":"cf-nel","max_age":604800} nel: {"success_fraction":0,"report_to":"cf-nel","max_age":604800} server: cloudflare cf-ray: 6a5f91e7abe1c518-ORD alt-svc: h3=":443"; ma=86400, h3-29=":443"; ma=86400, h3-28=":443"; ma=86400, h3-27=":443"; ma=86400 |
Domain Name: VERI-Q.COM Registry Domain ID: 2557190967_DOMAIN_COM-VRSN Registrar WHOIS Server: whois.godaddy.com Registrar URL: http://www.godaddy.com Updated Date: 2020-09-11T13:14:43Z Creation Date: 2020-09-02T05:40:47Z Registry Expiry Date: 2023-09-02T05:40:47Z Registrar: GoDaddy.com, LLC Registrar IANA ID: 146 Registrar Abuse Contact Email: abuse@godaddy.com Registrar Abuse Contact Phone: 480-624-2505 Domain Status: clientDeleteProhibited https://icann.org/epp#clientDeleteProhibited Domain Status: clientRenewProhibited https://icann.org/epp#clientRenewProhibited Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Domain Status: clientUpdateProhibited https://icann.org/epp#clientUpdateProhibited Name Server: HENRY.NS.CLOUDFLARE.COM Name Server: SIMA.NS.CLOUDFLARE.COM DNSSEC: unsigned >>> Last update of whois database: 2021-09-17T09:49:19Z <<< |