urlscan.io logo urlscan.io
SecurityTrails logo

www.doulos.com Open in urlscan Pro
2606:4700:20::681a:7e9  Public Scan

Go To Rescan Add Verdict Report
Submitted URL: http://em.synopsys.com/MzY3LU1SVi0zNjAAAAGTNsgAUG8SMRYjQWil9lO8qMsXznl4PGjR6NUnkd3epuUzFdeiLZiRmIsc1cpd3H2A4l3lFMk=
Effective URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0...
Submission: On May 21 via api from TR — Scanned from DE
 Behaviour Indicators
Similar DOM Content API
Verdicts

Summary

This website contacted 23 IPs in 5 countries across 15 domains to perform 50 HTTP transactions. The main IP is 2606:4700:20::681a:7e9, located in United States and belongs to CLOUDFLARENET, US. The main domain is www.doulos.com.
TLS certificate: Issued by GTS CA 1P5 on May 3rd 2024. Valid for: 3 months.
This is the only time www.doulos.com was scanned on urlscan.io!

urlscan.io Verdict: No classification

Domain & IP information

IP Address AS Autonomous System
1 52.184.251.130 8075 (MICROSOFT...)
4 2606:4700:20:... 13335 (CLOUDFLAR...)
2 2a00:1450:400... 15169 (GOOGLE)
2 104.17.25.14 13335 (CLOUDFLAR...)
1 2a00:1450:400... 15169 (GOOGLE)
1 172.64.148.75 13335 (CLOUDFLAR...)
16 172.67.72.209 13335 (CLOUDFLAR...)
1 188.114.97.3 13335 (CLOUDFLAR...)
1 172.67.8.54 13335 (CLOUDFLAR...)
1 2606:4700::68... 13335 (CLOUDFLAR...)
2 2a00:1450:400... 15169 (GOOGLE)
2 2001:4801:782... 19994 (RACKSPACE)
4 34.96.102.137 396982 (GOOGLE-CL...)
1 2a02:26f0:350... 20940 (AKAMAI-ASN1)
3 2a00:1450:400... 15169 (GOOGLE)
4 5 2620:1ec:21::14 8068 (MICROSOFT...)
1 13.107.42.14 8068 (MICROSOFT...)
2 2001:4860:480... 15169 (GOOGLE)
1 108.138.26.52 16509 (AMAZON-02)
1 2001:1b40:e20... 20860 (IOMART-AS)
1 2a03:2880:f08... 32934 (FACEBOOK)
1 157.240.252.13 32934 (FACEBOOK)
50 23
1    52.184.251.130 (Boydton, United States)

ASN8075 (MICROSOFT-CORP-MSN-AS-BLOCK, US)
em.synopsys.com
4    2606:4700:20::681a:7e9 (United States)

ASN13335 (CLOUDFLARENET, US)
www.doulos.com
2    2a00:1450:4001:810::200a (Frankfurt am Main, Germany)

ASN15169 (GOOGLE, US)
fonts.googleapis.com
ajax.googleapis.com
2    104.17.25.14 (None, )

ASN13335 (CLOUDFLARENET, US)
cdnjs.cloudflare.com
1    2a00:1450:4001:82f::2008 (Frankfurt am Main, Germany)

ASN15169 (GOOGLE, US)
www.googletagmanager.com
1    172.64.148.75 (San Francisco, United States)

ASN13335 (CLOUDFLARENET, US)
5990ce5818ec4c74999a30b3f8ad322a.js.ubembed.com
16    172.67.72.209 (United States)

ASN13335 (CLOUDFLARENET, US)
www.doulos.com
1    188.114.97.3 (Amsterdam, Netherlands)

ASN13335 (CLOUDFLARENET, US)
tally.so
1    172.67.8.54 (United States)

ASN13335 (CLOUDFLARENET, US)
cc.cdn.civiccomputing.com
1    2606:4700::6810:4f49 (United States)

ASN13335 (CLOUDFLARENET, US)
static.cloudflareinsights.com
2    2a00:1450:4001:803::200e (Frankfurt am Main, Germany)

ASN15169 (GOOGLE, US)
www.google-analytics.com
2    2001:4801:7827:102:be76:4eff:fe10:1a23 (United States)

ASN19994 (RACKSPACE, US)
pk.doulos.com
4    34.96.102.137 (Kansas City, United States)

ASN396982 (GOOGLE-CLOUD-PLATFORM, US)
PTR: 137.102.96.34.bc.googleusercontent.com
dev.visualwebsiteoptimizer.com
1    2a02:26f0:3500:16::215:149b (Frankfurt am Main, Germany)

ASN20940 (AKAMAI-ASN1, NL)
snap.licdn.com
3    2a00:1450:4001:830::2003 (Frankfurt am Main, Germany)

ASN15169 (GOOGLE, US)
fonts.gstatic.com
5    2620:1ec:21::14 (United States)

ASN8068 (MICROSOFT-CORP-MSN-AS-BLOCK, US)
px.ads.linkedin.com
www.linkedin.com
1    13.107.42.14 (United States)

ASN8068 (MICROSOFT-CORP-MSN-AS-BLOCK, US)
px4.ads.linkedin.com
2    2001:4860:4802:34::36 (United States)

ASN15169 (GOOGLE, US)
region1.google-analytics.com
1    108.138.26.52 (United States)

ASN16509 (AMAZON-02, US)
PTR: server-108-138-26-52.fra56.r.cloudfront.net
assets.ubembed.com
1    2001:1b40:e200::1b:243 (United Kingdom)

ASN20860 (IOMART-AS, GB)
apikeys.civiccomputing.com
1    2a03:2880:f084:d:face:b00c:0:3 (Frankfurt am Main, Germany)

ASN32934 (FACEBOOK, US)
connect.facebook.net
1    157.240.252.13 (Frankfurt am Main, Germany)

ASN32934 (FACEBOOK, US)
PTR: xx-fbcdn-shv-01-fra3.fbcdn.net
connect.facebook.net
Apex Domain
Subdomains		 Transfer
22 doulos.com
www.doulos.com
pk.doulos.com
554 KB
6 linkedin.com
px.ads.linkedin.com — Cisco Umbrella Rank: 338
www.linkedin.com — Cisco Umbrella Rank: 619
px4.ads.linkedin.com — Cisco Umbrella Rank: 6419
3 KB
4 visualwebsiteoptimizer.com
dev.visualwebsiteoptimizer.com — Cisco Umbrella Rank: 2757
72 KB
4 google-analytics.com
www.google-analytics.com — Cisco Umbrella Rank: 32
region1.google-analytics.com — Cisco Umbrella Rank: 2533
21 KB
3 gstatic.com
fonts.gstatic.com
47 KB
2 facebook.net
connect.facebook.net — Cisco Umbrella Rank: 183
89 KB
2 civiccomputing.com
cc.cdn.civiccomputing.com — Cisco Umbrella Rank: 18257
apikeys.civiccomputing.com — Cisco Umbrella Rank: 18464
77 KB
2 ubembed.com
5990ce5818ec4c74999a30b3f8ad322a.js.ubembed.com
assets.ubembed.com — Cisco Umbrella Rank: 12613
50 KB
2 cloudflare.com
cdnjs.cloudflare.com — Cisco Umbrella Rank: 237
9 KB
2 googleapis.com
fonts.googleapis.com — Cisco Umbrella Rank: 33
ajax.googleapis.com — Cisco Umbrella Rank: 380
57 KB
1 licdn.com
snap.licdn.com — Cisco Umbrella Rank: 803
17 KB
1 cloudflareinsights.com
static.cloudflareinsights.com — Cisco Umbrella Rank: 804
7 KB
1 tally.so
tally.so — Cisco Umbrella Rank: 78816
11 KB
1 googletagmanager.com
www.googletagmanager.com — Cisco Umbrella Rank: 39
106 KB
1 synopsys.com
em.synopsys.com
967 B
50 15
Domain Requested by
20 www.doulos.com em.synopsys.com
www.doulos.com
static.cloudflareinsights.com
4 px.ads.linkedin.com 3 redirects snap.licdn.com
4 dev.visualwebsiteoptimizer.com www.doulos.com
dev.visualwebsiteoptimizer.com
3 fonts.gstatic.com fonts.googleapis.com
2 connect.facebook.net www.doulos.com
connect.facebook.net
2 region1.google-analytics.com www.googletagmanager.com
2 pk.doulos.com www.doulos.com
pk.doulos.com
2 www.google-analytics.com www.doulos.com
www.google-analytics.com
2 cdnjs.cloudflare.com www.doulos.com
1 apikeys.civiccomputing.com cc.cdn.civiccomputing.com
1 assets.ubembed.com 5990ce5818ec4c74999a30b3f8ad322a.js.ubembed.com
1 px4.ads.linkedin.com www.doulos.com
1 www.linkedin.com 1 redirects
1 snap.licdn.com www.doulos.com
1 static.cloudflareinsights.com www.doulos.com
1 cc.cdn.civiccomputing.com www.doulos.com
1 tally.so www.doulos.com
1 ajax.googleapis.com www.doulos.com
1 5990ce5818ec4c74999a30b3f8ad322a.js.ubembed.com www.doulos.com
1 www.googletagmanager.com www.doulos.com
1 fonts.googleapis.com www.doulos.com
1 em.synopsys.com
50 22
Subject Issuer Validity Valid
*.tracking.ethos09-prod-va7.ethos.adobe.net
DigiCert Global G2 TLS RSA SHA256 2020 CA1		 2024-04-05 -
2024-07-03		 3 months crt.sh
www.doulos.com
GTS CA 1P5		 2024-05-03 -
2024-08-01		 3 months crt.sh
upload.video.google.com
WR2		 2024-05-06 -
2024-07-29		 3 months crt.sh
sni.cloudflaressl.com
Cloudflare Inc ECC CA-3		 2023-07-03 -
2024-07-02		 a year crt.sh
*.google-analytics.com
WR2		 2024-05-06 -
2024-07-29		 3 months crt.sh
*.js.ubembed.com
E1		 2024-04-13 -
2024-07-12		 3 months crt.sh
tally.so
GTS CA 1P5		 2024-04-23 -
2024-07-22		 3 months crt.sh
cc.cdn.civiccomputing.com
GTS CA 1P5		 2024-04-03 -
2024-07-02		 3 months crt.sh
cloudflareinsights.com
GTS CA 1P5		 2024-05-08 -
2024-08-06		 3 months crt.sh
*.doulos.com
Sectigo RSA Domain Validation Secure Server CA		 2024-03-12 -
2025-04-12		 a year crt.sh
*.visualwebsiteoptimizer.com
Starfield Secure Certificate Authority - G2		 2023-07-06 -
2024-07-06		 a year crt.sh
snap.licdn.com
DigiCert SHA2 Secure Server CA		 2023-12-13 -
2024-12-12		 a year crt.sh
*.gstatic.com
WR2		 2024-05-06 -
2024-07-29		 3 months crt.sh
assets.ubembed.com
Amazon RSA 2048 M03		 2023-12-06 -
2025-01-03		 a year crt.sh
apikeys.civiccomputing.com
R3		 2024-04-14 -
2024-07-13		 3 months crt.sh
*.facebook.com
DigiCert SHA2 High Assurance Server CA		 2024-02-28 -
2024-05-28		 3 months crt.sh
www.linkedin.com
DigiCert SHA2 Secure Server CA		 2024-01-30 -
2024-07-30		 6 months crt.sh

This page contains 1 frames:

Primary Page: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Frame ID: 69EE1C430D7BB082C733E32B544AA94A
Requests: 51 HTTP requests in this frame

Screenshot
Live screenshot
Full Image

Page Title

Accelerating Formal Verification Using Non-Determinism

Page URL History Show full URLs

  1. http://em.synopsys.com/MzY3LU1SVi0zNjAAAAGTNsgAUG8SMRYjQWil9lO8qMsXznl4PGjR6NUnkd3epuUzFdeiLZiRmIsc... HTTP 307
    https://em.synopsys.com/MzY3LU1SVi0zNjAAAAGTNsgAUG8SMRYjQWil9lO8qMsXznl4PGjR6NUnkd3epuUzFdeiLZiRmIsc... Page URL
  2. https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps... Page URL

Detected technologies

Overall confidence: 100%
Detected patterns
  • ubembed\.com
Overall confidence: 100%
Detected patterns
  • /([\d.]+(?:-?rc[.\d]*)*)/angular(?:\.min)?\.js
  • \bangular.{0,32}\.js
Overall confidence: 100%
Detected patterns
  • cc\.cdn\.civiccomputing\.com
Overall confidence: 100%
Detected patterns
  • static\.cloudflareinsights\.com/beacon(?:\.min)?\.js
Overall confidence: 100%
Detected patterns
  • //connect\.facebook\.([a-z]+)/[^/]*/[a-z]*\.js
Overall confidence: 100%
Detected patterns
  • /flickity(?:\.pkgd)?(?:\.min)?\.js
Overall confidence: 100%
Detected patterns
  • google-analytics\.com/(?:ga|urchin|analytics)\.js
Overall confidence: 100%
Detected patterns
  • <link[^>]* href=[^>]+fonts\.(?:googleapis|google)\.com
Overall confidence: 100%
Detected patterns
  • googletagmanager\.com/gtag/js
Overall confidence: 100%
Detected patterns
  • snap\.licdn\.com/li\.lms-analytics/insight\.min\.js
Overall confidence: 100%
Detected patterns
  • /popper\.js/([0-9.]+)
Overall confidence: 100%
Detected patterns
  • dev\.visualwebsiteoptimizer\.com/?([\d.]+)
Overall confidence: 100%
Detected patterns
  • jquery[.-]([\d.]*\d)[^/]*\.js
  • jquery.*\.js(?:\?ver(?:sion)?=([\d.]+))?

Page Statistics

50
Requests

96 %
HTTPS

55 %
IPv6

15
Domains

22
Subdomains

23
IPs

5
Countries

1117 kB
Transfer

2956 kB
Size

12
Cookies

Page URL History

This captures the URL locations of the websites, including HTTP redirects and client-side redirects via JavaScript or Meta fields.

  1. http://em.synopsys.com/MzY3LU1SVi0zNjAAAAGTNsgAUG8SMRYjQWil9lO8qMsXznl4PGjR6NUnkd3epuUzFdeiLZiRmIsc1cpd3H2A4l3lFMk= HTTP 307
    https://em.synopsys.com/MzY3LU1SVi0zNjAAAAGTNsgAUG8SMRYjQWil9lO8qMsXznl4PGjR6NUnkd3epuUzFdeiLZiRmIsc1cpd3H2A4l3lFMk= Page URL
  2. https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4 Page URL

Redirected requests

There were HTTP redirect chains for the following requests:

Request Chain 0
  • http://em.synopsys.com/MzY3LU1SVi0zNjAAAAGTNsgAUG8SMRYjQWil9lO8qMsXznl4PGjR6NUnkd3epuUzFdeiLZiRmIsc1cpd3H2A4l3lFMk= HTTP 307
  • https://em.synopsys.com/MzY3LU1SVi0zNjAAAAGTNsgAUG8SMRYjQWil9lO8qMsXznl4PGjR6NUnkd3epuUzFdeiLZiRmIsc1cpd3H2A4l3lFMk=
Request Chain 38
  • https://px.ads.linkedin.com/collect?v=2&fmt=js&pid=4164617&time=1716267933571&url=https%3A%2F%2Fwww.doulos.com%2Fwebinars%2Faccelerating-formal-verification-using-non-determinism%2F%3Fsource%3Dsnps%26mkt_tok%3DMzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4 HTTP 302
  • https://px.ads.linkedin.com/collect?v=2&fmt=js&pid=4164617&time=1716267933571&url=https%3A%2F%2Fwww.doulos.com%2Fwebinars%2Faccelerating-formal-verification-using-non-determinism%2F%3Fsource%3Dsnps%26mkt_tok%3DMzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4&cookiesTest=true HTTP 302
  • https://www.linkedin.com/px/li_sync?redirect=https%3A%2F%2Fpx.ads.linkedin.com%2Fcollect%3Fv%3D2%26fmt%3Djs%26pid%3D4164617%26time%3D1716267933571%26url%3Dhttps%253A%252F%252Fwww.doulos.com%252Fwebinars%252Faccelerating-formal-verification-using-non-determinism%252F%253Fsource%253Dsnps%2526mkt_tok%253DMzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4%26cookiesTest%3Dtrue%26liSync%3Dtrue HTTP 302
  • https://px.ads.linkedin.com/collect?v=2&fmt=js&pid=4164617&time=1716267933571&url=https%3A%2F%2Fwww.doulos.com%2Fwebinars%2Faccelerating-formal-verification-using-non-determinism%2F%3Fsource%3Dsnps%26mkt_tok%3DMzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4&cookiesTest=true&liSync=true HTTP 302
  • https://px4.ads.linkedin.com/collect?v=2&fmt=js&pid=4164617&time=1716267933571&url=https%3A%2F%2Fwww.doulos.com%2Fwebinars%2Faccelerating-formal-verification-using-non-determinism%2F%3Fsource%3Dsnps%26mkt_tok%3DMzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4&cookiesTest=true&liSync=true&e_ipv6=AQI3CwbDUzsRugAAAY-ZimK19R55KbHl4NZW-CpjKSeEcWLHEpWWhPXrgdDrzwIgDKBDN41hAQhz

50 HTTP transactions

Resource
Path		 Size
x-fer		 Type
MIME-Type
MzY3LU1SVi0zNjAAAAGTNsgAUG8SMRYjQWil9lO8qMsXznl4PGjR6NUnkd3epuUzFdeiLZiRmIsc1cpd3H2A4l3lFMk=
em.synopsys.com/
Redirect Chain
  • http://em.synopsys.com/MzY3LU1SVi0zNjAAAAGTNsgAUG8SMRYjQWil9lO8qMsXznl4PGjR6NUnkd3epuUzFdeiLZiRmIsc1cpd3H2A4l3lFMk=
  • https://em.synopsys.com/MzY3LU1SVi0zNjAAAAGTNsgAUG8SMRYjQWil9lO8qMsXznl4PGjR6NUnkd3epuUzFdeiLZiRmIsc1cpd3H2A4l3lFMk=
592 B
967 B 		Document
General
Check archive.org
Download Go to
Full URL
https://em.synopsys.com/MzY3LU1SVi0zNjAAAAGTNsgAUG8SMRYjQWil9lO8qMsXznl4PGjR6NUnkd3epuUzFdeiLZiRmIsc1cpd3H2A4l3lFMk=
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
52.184.251.130 Boydton, United States, ASN8075 (MICROSOFT-CORP-MSN-AS-BLOCK, US),
Reverse DNS
Software
adobe /
Resource Hash
Security Headers
Name Value
Content-Security-Policy default-src 'self'; img-src 'self';script-src 'self' 'sha256-s0+WxFMEVR1GfyUHmSUtnR2PROQ+jlp4ozC/nJpV2yM=';object-src 'none';form-action 'none';frame-src 'none';style-src 'self'
X-Content-Type-Options nosniff
X-Frame-Options SAMEORIGIN

Request headers

Accept-Language
de-DE,de;q=0.9;q=0.9
Upgrade-Insecure-Requests
1
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36

Response headers

cache-control
private, no-cache, no-store, max-age=0
content-length
592
content-security-policy
default-src 'self'; img-src 'self';script-src 'self' 'sha256-s0+WxFMEVR1GfyUHmSUtnR2PROQ+jlp4ozC/nJpV2yM=';object-src 'none';form-action 'none';frame-src 'none';style-src 'self'
content-type
text/html;charset=UTF-8
date
Tue, 21 May 2024 05:05:32 GMT
referrer-policy
strict-origin
server
adobe
x-content-type-options
nosniff
x-frame-options
SAMEORIGIN
x-request-id
978faafd9f5a1927

Redirect headers

Location
https://em.synopsys.com/MzY3LU1SVi0zNjAAAAGTNsgAUG8SMRYjQWil9lO8qMsXznl4PGjR6NUnkd3epuUzFdeiLZiRmIsc1cpd3H2A4l3lFMk=
Non-Authoritative-Reason
HttpsUpgrades
Primary Request /
www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/ 		70 KB
14 KB 		Document
General
Check archive.org
Download Go to
Full URL
https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Requested by
Host: em.synopsys.com
URL: https://em.synopsys.com/MzY3LU1SVi0zNjAAAAGTNsgAUG8SMRYjQWil9lO8qMsXznl4PGjR6NUnkd3epuUzFdeiLZiRmIsc1cpd3H2A4l3lFMk=
Protocol
H2
Security
TLS 1.2, ECDHE_RSA, AES_128_GCM
Server
2606:4700:20::681a:7e9 , United States, ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare / ASP.NET
Resource Hash
47c98af9381208a621a0a4ab18d1d9d1d3f51677a47959cd0bbbe5d873f808b5
Security Headers
Name Value
X-Frame-Options SAMEORIGIN

Request headers

Accept-Language
de-DE,de;q=0.9;q=0.9
Referer
https://em.synopsys.com/
Upgrade-Insecure-Requests
1
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
sec-ch-ua-mobile
?0
sec-ch-ua-platform
"Win32"

Response headers

alt-svc
h3=":443"; ma=86400
cache-control
no-cache, no-store
cf-cache-status
DYNAMIC
cf-ray
887208364b5d994e-FRA
content-encoding
br
content-type
text/html; charset=utf-8
date
Tue, 21 May 2024 05:05:33 GMT
nel
{"success_fraction":0,"report_to":"cf-nel","max_age":604800}
pragma
no-cache
report-to
{"endpoints":[{"url":"https:\/\/a.nel.cloudflare.com\/report\/v4?s=hnNm9v%2FgYpMSGNnhwxWr8YP5RNxmqvSyRZe4sOSiOTMRz033bWHILWv9OBKpBCVf2Yg4HRPzHEDrJ9wBXyrdrv9ZZcV9u46YanWwtRgFNLbFj0%2F2tE%2FKezGQGnFOQZnktSFitnnueW0%2F1uif"}],"group":"cf-nel","max_age":604800}
server
cloudflare
vary
Accept-Encoding
x-frame-options
SAMEORIGIN
x-powered-by
ASP.NET
css
fonts.googleapis.com/ 		9 KB
1 KB 		Stylesheet
General
Check archive.org
Download Go to
Full URL
https://fonts.googleapis.com/css?family=Roboto:300,400,500,700
Requested by
Host: www.doulos.com
URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2a00:1450:4001:810::200a Frankfurt am Main, Germany, ASN15169 (GOOGLE, US),
Reverse DNS
Software
ESF /
Resource Hash
d3f4104957e76483acba4180738253208fd8d4d81c64931244860514af502b82
Security Headers
Name Value
Strict-Transport-Security max-age=31536000
X-Content-Type-Options nosniff
X-Frame-Options SAMEORIGIN
X-Xss-Protection 0

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
Referer
https://www.doulos.com/
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
sec-ch-ua-platform
"Win32"

Response headers

strict-transport-security
max-age=31536000
date
Tue, 21 May 2024 05:05:33 GMT
content-encoding
gzip
x-content-type-options
nosniff
cross-origin-resource-policy
cross-origin
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
x-xss-protection
0
last-modified
Tue, 21 May 2024 04:29:42 GMT
server
ESF
cross-origin-opener-policy
same-origin-allow-popups
x-frame-options
SAMEORIGIN
content-type
text/css; charset=utf-8
access-control-allow-origin
*
cache-control
private, max-age=86400, stale-while-revalidate=604800
timing-allow-origin
*
link
<https://fonts.gstatic.com>; rel=preconnect; crossorigin
expires
Tue, 21 May 2024 05:05:33 GMT
select2.min.css
cdnjs.cloudflare.com/ajax/libs/select2/4.0.6-rc.0/css/ 		15 KB
2 KB 		Stylesheet
General
Check archive.org
Download Go to
Full URL
https://cdnjs.cloudflare.com/ajax/libs/select2/4.0.6-rc.0/css/select2.min.css
Requested by
Host: www.doulos.com
URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Protocol
H3
Security
QUIC, , AES_128_GCM
Server
104.17.25.14 -, , ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
1100388fbf996eb7b0090bf027336657188a330191b295cc1a0b7b23a0008aab
Security Headers
Name Value
Strict-Transport-Security max-age=15780000
X-Content-Type-Options nosniff

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
Referer
https://www.doulos.com/
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
sec-ch-ua-platform
"Win32"

Response headers

date
Tue, 21 May 2024 05:05:33 GMT
content-encoding
br
x-content-type-options
nosniff
cf-cache-status
HIT
nel
{"success_fraction":0.01,"report_to":"cf-nel","max_age":604800}
strict-transport-security
max-age=15780000
age
388159
cross-origin-resource-policy
cross-origin
alt-svc
h3=":443"; ma=86400
content-length
1640
last-modified
Mon, 04 May 2020 16:16:11 GMT
server
cloudflare
cf-cdnjs-via
cfworker/kv
etag
"5eb03fcb-3bab"
vary
Accept-Encoding
report-to
{"endpoints":[{"url":"https:\/\/a.nel.cloudflare.com\/report\/v4?s=06AX4Nqr3l4p3E%2FY14xVgEPzjpwPs3cSXrrN%2F4MILgukRl%2BeiH14I49Bni43RNginP2n%2FgbR4IPtd9TV3gWNpZkS4vHX93wEzbUZgvLG8qRvYKkcNsI18e2pxSYbz1C0G2xZ%2FDld"}],"group":"cf-nel","max_age":604800}
content-type
text/css; charset=utf-8
access-control-allow-origin
*
cache-control
public, max-age=30672000
accept-ranges
bytes
timing-allow-origin
*
cf-ray
887208375b831ad7-FRA
expires
Sun, 11 May 2025 05:05:33 GMT
main.css
www.doulos.com/css/ 		328 KB
43 KB 		Stylesheet
General
Check archive.org
Download Go to
Full URL
https://www.doulos.com/css/main.css
Requested by
Host: www.doulos.com
URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Protocol
H2
Security
TLS 1.2, ECDHE_RSA, AES_128_GCM
Server
2606:4700:20::681a:7e9 , United States, ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare / ASP.NET
Resource Hash
f21f349279638236904b9328ee3750b876b7d46cc8fabd703d30935491fc671f

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
Referer
https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
sec-ch-ua-platform
"Win32"

Response headers

date
Tue, 21 May 2024 05:05:33 GMT
content-encoding
gzip
cf-cache-status
EXPIRED
last-modified
Mon, 18 Dec 2023 13:17:45 GMT
nel
{"success_fraction":0,"report_to":"cf-nel","max_age":604800}
server
cloudflare
etag
W/"1da31b49681837c"
x-powered-by
ASP.NET
vary
Accept-Encoding
report-to
{"endpoints":[{"url":"https:\/\/a.nel.cloudflare.com\/report\/v4?s=KwuYrTlVhFYPaWs9LCzlels0ivUjdcg59%2FEot7wxGlsw9Q676a6AXEvj83Nl1RbOCkx7ka31cuQL8DGRZvfHozz9CcO7JFiEha8%2BH7y3txO6hsgtPGizX3XKGUdIF6os641%2B%2FPOTSJYqlCrG"}],"group":"cf-nel","max_age":604800}
content-type
text/css
cache-control
max-age=1800
cf-ray
887208373c36994e-FRA
alt-svc
h3=":443"; ma=86400
js
www.googletagmanager.com/gtag/ 		324 KB
106 KB 		Script
General
Check archive.org
Download Go to
Full URL
https://www.googletagmanager.com/gtag/js?id=G-K96ECKLTHQ
Requested by
Host: www.doulos.com
URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2a00:1450:4001:82f::2008 Frankfurt am Main, Germany, ASN15169 (GOOGLE, US),
Reverse DNS
Software
Google Tag Manager /
Resource Hash
502f58fb63c494e5903460fd4391f546edd2e9b88cb999075ff35c071afbdcad
Security Headers
Name Value
Strict-Transport-Security max-age=31536000; includeSubDomains
X-Xss-Protection 0

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
Referer
https://www.doulos.com/
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
sec-ch-ua-platform
"Win32"

Response headers

date
Tue, 21 May 2024 05:05:33 GMT
content-encoding
br
strict-transport-security
max-age=31536000; includeSubDomains
server
Google Tag Manager
vary
Accept-Encoding
content-type
application/javascript; charset=UTF-8
access-control-allow-origin
*
cache-control
private, max-age=900
access-control-allow-credentials
true
cross-origin-resource-policy
cross-origin
access-control-allow-headers
Cache-Control
content-length
107997
x-xss-protection
0
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
expires
Tue, 21 May 2024 05:05:33 GMT
/
5990ce5818ec4c74999a30b3f8ad322a.js.ubembed.com/ 		415 B
683 B 		Script
General
Check archive.org
Download Go to
Full URL
https://5990ce5818ec4c74999a30b3f8ad322a.js.ubembed.com/
Requested by
Host: www.doulos.com
URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
172.64.148.75 San Francisco, United States, ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
b01cc6bd3e5e076f1accd94d88db0efb70acd628423a8da277135f2a3cff7234

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
Referer
https://www.doulos.com/
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
sec-ch-ua-platform
"Win32"

Response headers

date
Tue, 21 May 2024 05:05:33 GMT
content-encoding
br
cf-cache-status
REVALIDATED
server
cloudflare
etag
W/"327c09f11b7847515268991439774fa6dab4a333"
vary
Accept-Encoding, Referer
content-type
application/javascript
access-control-allow-origin
*
cache-control
max-age=0, must-revalidate
cf-ray
88720838badf44f8-TXL
doulos-logo-header.svg
www.doulos.com/media/1009/ 		4 KB
2 KB 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://www.doulos.com/media/1009/doulos-logo-header.svg
Requested by
Host: www.doulos.com
URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Protocol
H2
Security
TLS 1.2, ECDHE_RSA, AES_128_GCM
Server
2606:4700:20::681a:7e9 , United States, ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare / ASP.NET
Resource Hash
7bd1d25f57530a2ad4df01338bc837e4453cd40f240eee0d8a5d7a63bf35b08b

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
Referer
https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
sec-ch-ua-platform
"Win32"

Response headers

date
Tue, 21 May 2024 05:05:33 GMT
content-encoding
gzip
cf-cache-status
EXPIRED
last-modified
Tue, 17 Oct 2023 10:01:43 GMT
nel
{"success_fraction":0,"report_to":"cf-nel","max_age":604800}
server
cloudflare
etag
W/"1da00e0ee355388"
x-powered-by
ASP.NET
vary
Accept-Encoding
report-to
{"endpoints":[{"url":"https:\/\/a.nel.cloudflare.com\/report\/v4?s=DLmaqnx%2F2GofaShkCmKVXnEcVMx2rqdtHDRlsmpnbaBlS7zjVK2WzucFzZ2gV3si30Xv%2BXe0pOIL7fHp3VX846mJahTeYw0HG3mGiFSQCQ81lucxOQxYPVBZ7vUe04ijxEtv8ZafKhihKEpQ"}],"group":"cf-nel","max_age":604800}
content-type
image/svg+xml
cache-control
max-age=1800
cf-ray
887208373c39994e-FRA
alt-svc
h3=":443"; ma=86400
ribbon-home.png
www.doulos.com/media/1004/ 		97 KB
97 KB 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://www.doulos.com/media/1004/ribbon-home.png
Requested by
Host: www.doulos.com
URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Protocol
H2
Security
TLS 1.2, ECDHE_RSA, AES_128_GCM
Server
2606:4700:20::681a:7e9 , United States, ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare / ASP.NET
Resource Hash
b0887012a8fe8297c7487b4a0f8022fd12d1beec7c50a84afa3925fdb9f82a92

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
Referer
https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
sec-ch-ua-platform
"Win32"

Response headers

date
Tue, 21 May 2024 05:05:33 GMT
cf-cache-status
REVALIDATED
nel
{"success_fraction":0,"report_to":"cf-nel","max_age":604800}
cf-polished
origFmt=png, origSize=157947
x-powered-by
ASP.NET
content-disposition
inline; filename="ribbon-home.webp"
alt-svc
h3=":443"; ma=86400
content-length
99000
cf-bgj
imgq:100,h2pri
last-modified
Tue, 17 Oct 2023 10:01:25 GMT
server
cloudflare
etag
"1da00e0e378a07b"
vary
Accept
report-to
{"endpoints":[{"url":"https:\/\/a.nel.cloudflare.com\/report\/v4?s=IdgMGmR0W4iRVgXwFaufus4XkxfhABj8wQQG1K%2BCeYRoPNlGV98zy4GFTwQtyS9GmzPpywDQklIsLYhwJiBpYj1jCiUw8MIiz1i58d2L0IP6y4JB3nmjeHOdWWs7wSoyFP07YcuQ6efk3AdT"}],"group":"cf-nel","max_age":604800}
content-type
image/webp
cache-control
max-age=1800
accept-ranges
bytes
cf-ray
887208373c3c994e-FRA
doulos-print-course-description-header.jpg
www.doulos.com/media/2289/ 		49 KB
50 KB 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://www.doulos.com/media/2289/doulos-print-course-description-header.jpg
Requested by
Host: www.doulos.com
URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Protocol
H3
Security
QUIC, , AES_128_GCM
Server
172.67.72.209 , United States, ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare / ASP.NET
Resource Hash
e1a1abf90e476c03e155ff7d6c55c8fcdca2c860a44d7e3a19cf722800798edf

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
Referer
https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
sec-ch-ua-platform
"Win32"

Response headers

date
Tue, 21 May 2024 05:05:33 GMT
cf-cache-status
REVALIDATED
nel
{"success_fraction":0,"report_to":"cf-nel","max_age":604800}
cf-polished
origSize=56504
x-powered-by
ASP.NET
alt-svc
h3=":443"; ma=86400
content-length
50587
cf-bgj
imgq:100,h2pri
last-modified
Tue, 17 Oct 2023 10:01:06 GMT
server
cloudflare
etag
"1da00e0d82741b8"
vary
Accept-Encoding
report-to
{"endpoints":[{"url":"https:\/\/a.nel.cloudflare.com\/report\/v4?s=SafkXw%2BNHQNcu2QUWY5fwtFS4dYdmdV6vWkUiM6M886Ekc1VPK4ERJgTRS4HC69ZlG6Ha4F51J8Hdw52cqECmE7S8vFnglOqk88gg2M5KQfwbBY%2FC9nxW61R9MfmRbdb"}],"group":"cf-nel","max_age":604800}
content-type
image/jpeg
cache-control
max-age=1800
accept-ranges
bytes
cf-ray
88720838184465a3-FRA
formal-verification-webinar-website.jpg
www.doulos.com/media/kdaj1e3g/ 		45 KB
45 KB 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://www.doulos.com/media/kdaj1e3g/formal-verification-webinar-website.jpg?width=410&height=230&rnd=133554215790030000
Requested by
Host: www.doulos.com
URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Protocol
H3
Security
QUIC, , AES_128_GCM
Server
172.67.72.209 , United States, ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare / ASP.NET
Resource Hash
3b1948b543a7c1a7f407545c9ccb06369d6d30e4f378e55b5abf5f927c9d1df0

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
Referer
https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
sec-ch-ua-platform
"Win32"

Response headers

date
Tue, 21 May 2024 05:05:33 GMT
cf-cache-status
MISS
last-modified
Fri, 23 Feb 2024 16:50:17 GMT
nel
{"success_fraction":0,"report_to":"cf-nel","max_age":604800}
server
cloudflare
etag
"1da667860fa1922"
x-powered-by
ASP.NET
vary
Accept-Encoding
report-to
{"endpoints":[{"url":"https:\/\/a.nel.cloudflare.com\/report\/v4?s=RTaQPKDqa0xDQF2wZSJf4fYQD7DZJ6arU6c8Zr0dWd15Ud425mre9J7oNqV8XZUSyqo5tnw%2Bc3y9QzFQ8GiMejFuX45QoFKzR40TKQmj0OzVhNd47xK%2BcLULmV6k2g4Y"}],"group":"cf-nel","max_age":604800}
content-type
image/jpeg
cache-control
public, max-age=604800, immutable
accept-ranges
bytes
cf-ray
88720838184665a3-FRA
alt-svc
h3=":443"; ma=86400
content-length
45986
doug.png
www.doulos.com/media/aign5s2p/ 		24 KB
24 KB 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://www.doulos.com/media/aign5s2p/doug.png?width=111&height=111&rnd=133443641758830000
Requested by
Host: www.doulos.com
URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Protocol
H3
Security
QUIC, , AES_128_GCM
Server
172.67.72.209 , United States, ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare / ASP.NET
Resource Hash
06fa6dec0a4cd35a0fedc692dc816fb8706925515010453399e3582d5b8f9da0

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
Referer
https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
sec-ch-ua-platform
"Win32"

Response headers

date
Tue, 21 May 2024 05:05:33 GMT
cf-cache-status
MISS
last-modified
Thu, 02 Nov 2023 09:45:18 GMT
nel
{"success_fraction":0,"report_to":"cf-nel","max_age":604800}
server
cloudflare
etag
"1da0d7149b615fd"
x-powered-by
ASP.NET
vary
Accept-Encoding
report-to
{"endpoints":[{"url":"https:\/\/a.nel.cloudflare.com\/report\/v4?s=BLU5M%2BCaPv7JRjeFn6KoyAFazLhkL0xjo6cDDTdNkwcAcSFtfFG5iPyudHA6HEtCvKtXDXX1%2FfPURdBD9fdzH16eWDrUrdGUOMhgkOyktcSIKrmDYLK%2Fi0oblGxrfEkv"}],"group":"cf-nel","max_age":604800}
content-type
image/png
cache-control
public, max-age=604800, immutable
accept-ranges
bytes
cf-ray
88720838184765a3-FRA
alt-svc
h3=":443"; ma=86400
content-length
24317
synopsys.jpg
www.doulos.com/media/1150/ 		8 KB
8 KB 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://www.doulos.com/media/1150/synopsys.jpg
Requested by
Host: www.doulos.com
URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Protocol
H3
Security
QUIC, , AES_128_GCM
Server
172.67.72.209 , United States, ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare / ASP.NET
Resource Hash
8843d78e71109c5a76719249ed93b9620f200579d6c5f742050c0e3313b9ec4e

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
Referer
https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
sec-ch-ua-platform
"Win32"

Response headers

date
Tue, 21 May 2024 05:05:33 GMT
cf-cache-status
MISS
last-modified
Tue, 17 Oct 2023 10:11:37 GMT
nel
{"success_fraction":0,"report_to":"cf-nel","max_age":604800}
server
cloudflare
etag
"1da00e250428d1e"
x-powered-by
ASP.NET
vary
Accept-Encoding
report-to
{"endpoints":[{"url":"https:\/\/a.nel.cloudflare.com\/report\/v4?s=5ZGQ5CBbjd%2BzoS88LqKdhipqJVpSfzmazRcexspoFpWNheVBIKRW1UOi42bQcaIAGzU7scdkmNADxHJzvHD4ucje0M6npMRaZI89GTnrfcUwpDwmNhASrmGVZbAWCp0H"}],"group":"cf-nel","max_age":604800}
content-type
image/jpeg
cache-control
max-age=1800
accept-ranges
bytes
cf-ray
88720838185365a3-FRA
alt-svc
h3=":443"; ma=86400
content-length
8094
knowhow-webinars-logo-300.png
www.doulos.com/media/2126/ 		5 KB
5 KB 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://www.doulos.com/media/2126/knowhow-webinars-logo-300.png
Requested by
Host: www.doulos.com
URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Protocol
H3
Security
QUIC, , AES_128_GCM
Server
172.67.72.209 , United States, ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare / ASP.NET
Resource Hash
1acf5b77c0e13a9a17006261f0754391d1ef57adbaf3a7756b60c3653fd86f8a

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
Referer
https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
sec-ch-ua-platform
"Win32"

Response headers

date
Tue, 21 May 2024 05:05:33 GMT
cf-cache-status
REVALIDATED
nel
{"success_fraction":0,"report_to":"cf-nel","max_age":604800}
cf-polished
origFmt=png, origSize=12547
x-powered-by
ASP.NET
content-disposition
inline; filename="knowhow-webinars-logo-300.webp"
alt-svc
h3=":443"; ma=86400
content-length
5022
cf-bgj
imgq:100,h2pri
last-modified
Tue, 17 Oct 2023 10:01:43 GMT
server
cloudflare
etag
"1da00e0ee356c83"
vary
Accept
report-to
{"endpoints":[{"url":"https:\/\/a.nel.cloudflare.com\/report\/v4?s=W784ZikSpcOLV8J9MWNbFZZ%2BEEYAG5CyvjRGQs2mzxH1gwqUViDzoG%2Ft5e58V8R8pO9%2FX%2Fjgh2mYueKT%2FP6mhr1S8D9NaCpsv45umxDsKmBpawnb0DjJTnR4tXAAPoFo"}],"group":"cf-nel","max_age":604800}
content-type
image/webp
cache-control
max-age=1800
accept-ranges
bytes
cf-ray
88720838185465a3-FRA
eda-playground-logo.png
www.doulos.com/media/1047/ 		4 KB
4 KB 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://www.doulos.com/media/1047/eda-playground-logo.png
Requested by
Host: www.doulos.com
URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Protocol
H3
Security
QUIC, , AES_128_GCM
Server
172.67.72.209 , United States, ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare / ASP.NET
Resource Hash
e4f98c0d95fe48258f1fdf338da718e0a81aa573489999ca6b6a73f65ffa6e8e

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
Referer
https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
sec-ch-ua-platform
"Win32"

Response headers

date
Tue, 21 May 2024 05:05:33 GMT
cf-cache-status
REVALIDATED
nel
{"success_fraction":0,"report_to":"cf-nel","max_age":604800}
cf-polished
origFmt=png, origSize=8130
x-powered-by
ASP.NET
content-disposition
inline; filename="eda-playground-logo.webp"
alt-svc
h3=":443"; ma=86400
content-length
3942
cf-bgj
imgq:100,h2pri
last-modified
Tue, 17 Oct 2023 10:02:47 GMT
server
cloudflare
etag
"1da00e1145ae242"
vary
Accept
report-to
{"endpoints":[{"url":"https:\/\/a.nel.cloudflare.com\/report\/v4?s=jF2GEpOd1RTsqEpXuE14BXtSRvOFfMt%2BE5D7gz%2B95J%2BL3GwDlVZtn2EyI7tWkv8nbkrwVqhF3214P3eEtJQUGlYxdeKZntwe3mSiYW6ziLdlsw1kZAgQ%2Fy%2Fil0XdcxLg"}],"group":"cf-nel","max_age":604800}
content-type
image/webp
cache-control
max-age=1800
accept-ranges
bytes
cf-ray
88720838185665a3-FRA
angular.min.js
ajax.googleapis.com/ajax/libs/angularjs/1.5.6/ 		155 KB
55 KB 		Script
General
Check archive.org
Download Go to
Full URL
https://ajax.googleapis.com/ajax/libs/angularjs/1.5.6/angular.min.js
Requested by
Host: www.doulos.com
URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2a00:1450:4001:810::200a Frankfurt am Main, Germany, ASN15169 (GOOGLE, US),
Reverse DNS
Software
sffe /
Resource Hash
fd4c7a3d73783d5ace2d4e91644f61caf6e6309c8ae2c6e317a272c34972b25d
Security Headers
Name Value
X-Content-Type-Options nosniff
X-Xss-Protection 0

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
Referer
https://www.doulos.com/
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
sec-ch-ua-platform
"Win32"

Response headers

date
Sat, 18 May 2024 14:54:32 GMT
content-encoding
gzip
x-content-type-options
nosniff
age
223861
content-security-policy-report-only
require-trusted-types-for 'script'; report-uri https://csp.withgoogle.com/csp/hosted-libraries-pushers
cross-origin-resource-policy
cross-origin
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
content-length
56240
x-xss-protection
0
last-modified
Tue, 03 Mar 2020 19:15:00 GMT
server
sffe
cross-origin-opener-policy
same-origin; report-to="hosted-libraries-pushers"
vary
Accept-Encoding
report-to
{"group":"hosted-libraries-pushers","max_age":2592000,"endpoints":[{"url":"https://csp.withgoogle.com/csp/report-to/hosted-libraries-pushers"}]}
content-type
text/javascript; charset=UTF-8
access-control-allow-origin
*
cache-control
public, max-age=31536000, stale-while-revalidate=2592000
accept-ranges
bytes
timing-allow-origin
*
expires
Sun, 18 May 2025 14:54:32 GMT
jquery-3.3.1.min.js
www.doulos.com/Scripts/ 		85 KB
38 KB 		Script
General
Check archive.org
Download Go to
Full URL
https://www.doulos.com/Scripts/jquery-3.3.1.min.js
Requested by
Host: www.doulos.com
URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Protocol
H3
Security
QUIC, , AES_128_GCM
Server
172.67.72.209 , United States, ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare / ASP.NET
Resource Hash
4fe68fa216176e6d1f4580e924bafecc9f519984ecc06b1a840a08b0d88c95de

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
Referer
https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
sec-ch-ua-platform
"Win32"

Response headers

date
Tue, 21 May 2024 05:05:33 GMT
content-encoding
gzip
cf-cache-status
REVALIDATED
last-modified
Tue, 04 Jul 2023 15:30:25 GMT
nel
{"success_fraction":0,"report_to":"cf-nel","max_age":604800}
server
cloudflare
etag
"1d9ae8c740ead11"
x-powered-by
ASP.NET
vary
Accept-Encoding
report-to
{"endpoints":[{"url":"https:\/\/a.nel.cloudflare.com\/report\/v4?s=bYmXJFcc%2BspELu4THuaS4XRpTCoUaaT95Ry3Lg44P9otdCZrT9uv4VtHuxTUBAq2umNwW3Ivwf8Hiya%2FWeQ0cU8KYeE%2Fs%2FnVqy2uUE3EJP%2BBarWCpXZfvbFAQsZY%2B2Mj"}],"group":"cf-nel","max_age":604800}
content-type
application/javascript
cache-control
max-age=1800
cf-ray
88720838184c65a3-FRA
alt-svc
h3=":443"; ma=86400
jquery.actual.min.js
www.doulos.com/Scripts/ 		1 KB
1 KB 		Script
General
Check archive.org
Download Go to
Full URL
https://www.doulos.com/Scripts/jquery.actual.min.js
Requested by
Host: www.doulos.com
URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Protocol
H3
Security
QUIC, , AES_128_GCM
Server
172.67.72.209 , United States, ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare / ASP.NET
Resource Hash
21ef785f79bb1ff6a3a90ad8c0a1cedc089831a5c04a9e99cd01f06ecc63ad7e

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
Referer
https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
sec-ch-ua-platform
"Win32"

Response headers

date
Tue, 21 May 2024 05:05:33 GMT
content-encoding
gzip
cf-cache-status
REVALIDATED
last-modified
Tue, 04 Jul 2023 15:30:25 GMT
nel
{"success_fraction":0,"report_to":"cf-nel","max_age":604800}
server
cloudflare
etag
"1d9ae8c740ffa65"
x-powered-by
ASP.NET
vary
Accept-Encoding
report-to
{"endpoints":[{"url":"https:\/\/a.nel.cloudflare.com\/report\/v4?s=huKxpT3EPnXjnmXarAReXNAa13KTxMQNu34vJ70bjdP6t1stj10NRri3jaJyfPiimd1EF8lzQoPOZ5D0zQw1%2BaNJzr6WKiFr%2BGswR%2Fq4G1Xg6Ta28pQwP1nJG%2F%2FpmQ0c"}],"group":"cf-nel","max_age":604800}
content-type
application/javascript
cache-control
max-age=1800
cf-ray
88720838184e65a3-FRA
alt-svc
h3=":443"; ma=86400
flickity.pkgd.min.js
www.doulos.com/Scripts/ 		54 KB
18 KB 		Script
General
Check archive.org
Download Go to
Full URL
https://www.doulos.com/Scripts/flickity.pkgd.min.js
Requested by
Host: www.doulos.com
URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Protocol
H3
Security
QUIC, , AES_128_GCM
Server
172.67.72.209 , United States, ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare / ASP.NET
Resource Hash
d0756186044950ff9baeec208b264ac4857281b869f39bf1393e25b5c9fdd4bb

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
Referer
https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
sec-ch-ua-platform
"Win32"

Response headers

date
Tue, 21 May 2024 05:05:33 GMT
content-encoding
gzip
cf-cache-status
REVALIDATED
last-modified
Tue, 04 Jul 2023 15:30:25 GMT
nel
{"success_fraction":0,"report_to":"cf-nel","max_age":604800}
server
cloudflare
etag
"1d9ae8c740f2957"
x-powered-by
ASP.NET
vary
Accept-Encoding
report-to
{"endpoints":[{"url":"https:\/\/a.nel.cloudflare.com\/report\/v4?s=rm%2F6LQM1IftgSVdNK9F5meE2z9BU7FaNFJn3t5wPFM1WFWrUssqMoovJlALiOuoCv45k3FI2eyJspFTMavPCFqxDAjQh7cfnc5hrD91nrN%2FXTpF0OVIUkw1XL4oLD6G4"}],"group":"cf-nel","max_age":604800}
content-type
application/javascript
cache-control
max-age=1800
cf-ray
88720838184f65a3-FRA
alt-svc
h3=":443"; ma=86400
Select2.igentics.es5.min.js
www.doulos.com/Scripts/vendor/ 		67 KB
26 KB 		Script
General
Check archive.org
Download Go to
Full URL
https://www.doulos.com/Scripts/vendor/Select2.igentics.es5.min.js
Requested by
Host: www.doulos.com
URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Protocol
H3
Security
QUIC, , AES_128_GCM
Server
172.67.72.209 , United States, ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare / ASP.NET
Resource Hash
ca82ed1cc7faf61104133c83817462c0f1d8a91cc1b6d2f2444eeb093af9659c

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
Referer
https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
sec-ch-ua-platform
"Win32"

Response headers

date
Tue, 21 May 2024 05:05:33 GMT
content-encoding
gzip
cf-cache-status
REVALIDATED
last-modified
Tue, 04 Jul 2023 15:30:25 GMT
nel
{"success_fraction":0,"report_to":"cf-nel","max_age":604800}
server
cloudflare
etag
"1d9ae8c740ef458"
x-powered-by
ASP.NET
vary
Accept-Encoding
report-to
{"endpoints":[{"url":"https:\/\/a.nel.cloudflare.com\/report\/v4?s=Gd7nOQraPidyZ3vOWlkJFe9m7RXYClHVSAEJulyUj6vmu5Bp%2BBKF0giuOUDDq9N3wsf9ls25mhKwbCDvsI7rlsrfEmChAYgnwIAluG4gBOeqBaHRQsZvGyIt68ZAFCQd"}],"group":"cf-nel","max_age":604800}
content-type
application/javascript
cache-control
max-age=1800
cf-ray
88720838185065a3-FRA
alt-svc
h3=":443"; ma=86400
embed.js
tally.so/widgets/ 		30 KB
11 KB 		Script
General
Check archive.org
Download Go to
Full URL
https://tally.so/widgets/embed.js
Requested by
Host: www.doulos.com
URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Protocol
H3
Security
QUIC, , AES_128_GCM
Server
188.114.97.3 Amsterdam, Netherlands, ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
aa1599ca836532367d59ff5f8feec04f61de0cdd74e98444e71ba672673e34a2

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
Referer
https://www.doulos.com/
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
sec-ch-ua-platform
"Win32"

Response headers

date
Tue, 21 May 2024 05:05:33 GMT
content-encoding
gzip
cf-cache-status
HIT
last-modified
Tue, 14 May 2024 08:36:05 GMT
nel
{"success_fraction":0,"report_to":"cf-nel","max_age":604800}
server
cloudflare
age
378
etag
W/"77f8-18f763e9908"
vary
Accept-Encoding
report-to
{"endpoints":[{"url":"https:\/\/a.nel.cloudflare.com\/report\/v4?s=QSNXXfM1g8kBIKS%2FBAvKIXzJytqJ%2BVxx5xHgyH9MzkLtwXQPLlQT7C9GJw8P0tqXnVq6f4rvVbI1X36bGdF%2B5AqtH%2FikIUxjZZtrpJlmtuY%2FKojPJI6GOHgAYw%3D%3D"}],"group":"cf-nel","max_age":604800}
content-type
application/javascript; charset=UTF-8
access-control-allow-origin
*
cache-control
public, max-age=14400, stale-while-revalidate
cf-ray
887208385f03363e-FRA
alt-svc
h3=":443"; ma=86400
bundle.js
www.doulos.com/Dist/ 		230 KB
72 KB 		Script
General
Check archive.org
Download Go to
Full URL
https://www.doulos.com/Dist/bundle.js
Requested by
Host: www.doulos.com
URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Protocol
H3
Security
QUIC, , AES_128_GCM
Server
172.67.72.209 , United States, ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare / ASP.NET
Resource Hash
fbc95447b2edce690825004670195e256dd9a0c613ebd98bc34ae9ba54245227

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
Referer
https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
sec-ch-ua-platform
"Win32"

Response headers

date
Tue, 21 May 2024 05:05:33 GMT
content-encoding
br
cf-cache-status
REVALIDATED
nel
{"success_fraction":0,"report_to":"cf-nel","max_age":604800}
cf-polished
origSize=235420
x-powered-by
ASP.NET
alt-svc
h3=":443"; ma=86400
cf-bgj
minify
last-modified
Mon, 18 Dec 2023 13:17:45 GMT
server
cloudflare
etag
W/"1da31b49687351c"
vary
Accept-Encoding
report-to
{"endpoints":[{"url":"https:\/\/a.nel.cloudflare.com\/report\/v4?s=fQeTfV3O35f54qM22F%2BBiie8QR%2B97KdGWGksTZSObC0LytLYG2YpXlmR4l%2FGFMwyOnaAp10x6OYe4iyHBUPKtY96JBZKwCdOgQfHNsPNK4nqWKXud5jPW%2F9ope1QxoqK"}],"group":"cf-nel","max_age":604800}
content-type
application/javascript
cache-control
max-age=1800
cf-ray
88720838185165a3-FRA
popper.min.js
cdnjs.cloudflare.com/ajax/libs/popper.js/1.12.9/umd/ 		19 KB
7 KB 		Script
General
Check archive.org
Download Go to
Full URL
https://cdnjs.cloudflare.com/ajax/libs/popper.js/1.12.9/umd/popper.min.js
Requested by
Host: www.doulos.com
URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Protocol
H3
Security
QUIC, , AES_128_GCM
Server
104.17.25.14 -, , ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
a52f7aa54d7bcaafa056ee0a050262dfc5694ae28dee8b4cac3429af37ff0d66
Security Headers
Name Value
Strict-Transport-Security max-age=15780000
X-Content-Type-Options nosniff

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
Referer
https://www.doulos.com/
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
sec-ch-ua-platform
"Win32"

Response headers

date
Tue, 21 May 2024 05:05:33 GMT
content-encoding
br
x-content-type-options
nosniff
cf-cache-status
HIT
nel
{"success_fraction":0.01,"report_to":"cf-nel","max_age":604800}
strict-transport-security
max-age=15780000
age
278759
cross-origin-resource-policy
cross-origin
alt-svc
h3=":443"; ma=86400
content-length
6157
last-modified
Mon, 04 May 2020 16:15:37 GMT
server
cloudflare
cf-cdnjs-via
cfworker/kv
etag
"5eb03fa9-4af4"
vary
Accept-Encoding
report-to
{"endpoints":[{"url":"https:\/\/a.nel.cloudflare.com\/report\/v4?s=UZE3mIPdGUokLbK%2FWp2eXLONEvZKqjwqkyAHKtBS899EiDsZNtvG%2BwjgVzZ6ZsfLw9DQQ64syOjBvvzd8pbmYp%2FDPTR4J%2BilbvIHDwJXnE9x9iYJo2BEbS2IJwnKJRYcfXNMD8VA"}],"group":"cf-nel","max_age":604800}
content-type
application/javascript; charset=utf-8
access-control-allow-origin
*
cache-control
public, max-age=30672000
accept-ranges
bytes
timing-allow-origin
*
cf-ray
887208381c3f1ad7-FRA
expires
Sun, 11 May 2025 05:05:33 GMT
Doulos.controllers.js
www.doulos.com/Scripts/angular/ 		7 KB
2 KB 		Script
General
Check archive.org
Download Go to
Full URL
https://www.doulos.com/Scripts/angular/Doulos.controllers.js
Requested by
Host: www.doulos.com
URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Protocol
H3
Security
QUIC, , AES_128_GCM
Server
172.67.72.209 , United States, ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare / ASP.NET
Resource Hash
a9efcc567561b93c9817d0925971d5d24fb17ac1b75520c3e0332ccd87b51a60

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
Referer
https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
sec-ch-ua-platform
"Win32"

Response headers

date
Tue, 21 May 2024 05:05:33 GMT
content-encoding
br
cf-cache-status
REVALIDATED
nel
{"success_fraction":0,"report_to":"cf-nel","max_age":604800}
cf-polished
origSize=10290
x-powered-by
ASP.NET
alt-svc
h3=":443"; ma=86400
cf-bgj
minify
last-modified
Tue, 12 Mar 2024 10:11:16 GMT
server
cloudflare
etag
W/"1da74659e775232"
vary
Accept-Encoding
report-to
{"endpoints":[{"url":"https:\/\/a.nel.cloudflare.com\/report\/v4?s=38LGpJEk%2BYg%2Bo7urajlbkJLjMFMFNFHWA44IkgNOGmas%2FAsdHoY%2FiwT%2FswloN6K%2F%2BCXbAG%2BGAFp9WEwlrDreoEDStz2%2B09g9nHXSFqhryftmXYuYygZHYFZBeXr%2BZWiH"}],"group":"cf-nel","max_age":604800}
content-type
application/javascript
cache-control
max-age=1800
cf-ray
88720838185265a3-FRA
cookieControl-9.5.min.js
cc.cdn.civiccomputing.com/9/ 		285 KB
76 KB 		Script
General
Check archive.org
Download Go to
Full URL
https://cc.cdn.civiccomputing.com/9/cookieControl-9.5.min.js
Requested by
Host: www.doulos.com
URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Protocol
H3
Security
QUIC, , AES_128_GCM
Server
172.67.8.54 , United States, ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
0c9bc7534d077408a1b33568ff0c03071c9a2a9f27752478a82c70045d3ef172
Security Headers
Name Value
X-Content-Type-Options nosniff
X-Frame-Options SAMEORIGIN
X-Xss-Protection 1

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
Referer
https://www.doulos.com/
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
sec-ch-ua-platform
"Win32"

Response headers

date
Tue, 21 May 2024 05:05:33 GMT
content-encoding
gzip
x-content-type-options
nosniff
cf-cache-status
HIT
age
1412
alt-svc
h3=":443"; ma=86400
x-xss-protection
1
referrer-policy
strict-origin-when-cross-origin
last-modified
Fri, 25 Jun 2021 09:56:04 GMT
server
cloudflare
etag
"475ab-5c59425df11f1-gzip"
vary
X-Forwarded-Protocol,Accept-Encoding
x-frame-options
SAMEORIGIN
content-type
application/javascript
access-control-allow-origin
*
access-control-allow-methods
GET
cache-control
max-age=604800
cf-ray
8872083868a39bfe-FRA
access-control-allow-headers
origin, x-requested-with, content-type
expires
Tue, 28 May 2024 04:42:01 GMT
vedd3670a3b1c4e178fdfb0cc912d969e1713874337387
static.cloudflareinsights.com/beacon.min.js/ 		19 KB
7 KB 		Script
General
Check archive.org
Download Go to
Full URL
https://static.cloudflareinsights.com/beacon.min.js/vedd3670a3b1c4e178fdfb0cc912d969e1713874337387
Requested by
Host: www.doulos.com
URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2606:4700::6810:4f49 , United States, ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
d2e817d2c44b9cf45f0e45cfa351abba3203af38f5aa1c8576a2db69ebd15192

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
Referer
https://www.doulos.com/
Origin
https://www.doulos.com
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
sec-ch-ua-platform
"Win32"

Response headers

date
Tue, 21 May 2024 05:05:33 GMT
content-encoding
gzip
last-modified
Mon, 06 May 2024 19:01:13 GMT
server
cloudflare
etag
W/"2024.4.1"
vary
Accept-Encoding
content-type
text/javascript;charset=UTF-8
access-control-allow-origin
*
cache-control
public, max-age=86400
cross-origin-resource-policy
cross-origin
cf-ray
88720838783d5d73-FRA
analytics.js
www.google-analytics.com/ 		52 KB
21 KB 		Script
General
Check archive.org
Download Go to
Full URL
https://www.google-analytics.com/analytics.js
Requested by
Host: www.doulos.com
URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2a00:1450:4001:803::200e Frankfurt am Main, Germany, ASN15169 (GOOGLE, US),
Reverse DNS
Software
Golfe2 /
Resource Hash
de36e50194320a7d3ef1ace9bd34a875a8bd458b253c061979dd628e9bf49afd
Security Headers
Name Value
Strict-Transport-Security max-age=10886400; includeSubDomains; preload
X-Content-Type-Options nosniff

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
Referer
https://www.doulos.com/
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
sec-ch-ua-platform
"Win32"

Response headers

strict-transport-security
max-age=10886400; includeSubDomains; preload
content-encoding
gzip
x-content-type-options
nosniff
date
Tue, 21 May 2024 04:29:08 GMT
last-modified
Tue, 12 Dec 2023 18:09:08 GMT
server
Golfe2
age
2185
vary
Accept-Encoding
content-type
text/javascript
cache-control
public, max-age=7200
cross-origin-resource-policy
cross-origin
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
content-length
20994
expires
Tue, 21 May 2024 06:29:08 GMT
matomo.js
pk.doulos.com/N7QZzUVa/ 		65 KB
22 KB 		Script
General
Check archive.org
Download Go to
Full URL
https://pk.doulos.com/N7QZzUVa/matomo.js
Requested by
Host: www.doulos.com
URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Protocol
HTTP/1.1
Security
TLS 1.3, , AES_128_GCM
Server
2001:4801:7827:102:be76:4eff:fe10:1a23 , United States, ASN19994 (RACKSPACE, US),
Reverse DNS
Software
Apache/2.4.52 (Ubuntu) /
Resource Hash
b39abd9035f703b76dfed940898d572b9864f676eb1912a9142f0639dca6b2ce

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
Referer
https://www.doulos.com/
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
sec-ch-ua-platform
"Win32"

Response headers

Date
Tue, 21 May 2024 05:05:33 GMT
Content-Encoding
gzip
Last-Modified
Tue, 06 Feb 2024 08:07:26 GMT
Server
Apache/2.4.52 (Ubuntu)
ETag
"1042f-610b2119e4816-gzip"
Vary
Accept-Encoding
Content-Type
text/javascript
Connection
Keep-Alive
Accept-Ranges
bytes
Keep-Alive
timeout=5, max=100
Content-Length
21709
j.php
dev.visualwebsiteoptimizer.com/ 		10 KB
4 KB 		Script
General
Check archive.org
Download Go to
Full URL
https://dev.visualwebsiteoptimizer.com/j.php?a=317180&u=https%3A%2F%2Fwww.doulos.com%2Fwebinars%2Faccelerating-formal-verification-using-non-determinism%2F%3Fsource%3Dsnps%26mkt_tok%3DMzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4&f=1&r=0.21615145265114943
Requested by
Host: www.doulos.com
URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
34.96.102.137 Kansas City, United States, ASN396982 (GOOGLE-CLOUD-PLATFORM, US),
Reverse DNS
137.102.96.34.bc.googleusercontent.com
Software
gfra1 /
Resource Hash
aa677ec206f620679e7019c7ab9d292fccf07523affa0b13419851cbf9462043

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
Referer
https://www.doulos.com/
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
sec-ch-ua-platform
"Win32"

Response headers

date
Tue, 21 May 2024 05:05:32 GMT
content-encoding
gzip
via
1.1 google
server
gfra1
etag
W/"1716190473"
vary
Accept-Encoding
content-type
application/javascript; charset=UTF-8
access-control-allow-origin
*
cache-control
public, max-age=0, no-cache, must-revalidate
timing-allow-origin
*
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
insight.min.js
snap.licdn.com/li.lms-analytics/ 		47 KB
17 KB 		Script
General
Check archive.org
Download Go to
Full URL
https://snap.licdn.com/li.lms-analytics/insight.min.js
Requested by
Host: www.doulos.com
URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Protocol
H2
Security
TLS 1.3, , AES_256_GCM
Server
2a02:26f0:3500:16::215:149b Frankfurt am Main, Germany, ASN20940 (AKAMAI-ASN1, NL),
Reverse DNS
Software
/
Resource Hash
899d1ec3c095342571d3be2091ec6f984d4cc82390d1f61945c391fa035b00d9
Security Headers
Name Value
X-Content-Type-Options nosniff

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
Referer
https://www.doulos.com/
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
sec-ch-ua-platform
"Win32"

Response headers

date
Tue, 21 May 2024 05:05:33 GMT
content-encoding
gzip
x-content-type-options
nosniff
last-modified
Mon, 06 May 2024 17:20:18 GMT
x-cdn
AKAM
x-amz-server-side-encryption
AES256
vary
Accept-Encoding
content-type
application/javascript;charset=utf-8
cache-control
max-age=58793
accept-ranges
bytes
content-length
16683
truncated
/ 		42 B
0 		Image
General
Check archive.org
Download Go to Show image
Full URL
data:truncated
Protocol
DATA
Server
-, , ASN (),
Reverse DNS
Software
/
Resource Hash
ef1955ae757c8b966c83248350331bd3a30f658ced11f387f8ebf05ab3368629

Request headers

Accept-Language
de-DE,de;q=0.9;q=0.9
Referer
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36

Response headers

Content-Type
image/gif
webinars-banner3.jpg
www.doulos.com/media/1083/ 		74 KB
74 KB 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://www.doulos.com/media/1083/webinars-banner3.jpg
Requested by
Host: www.doulos.com
URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Protocol
H3
Security
QUIC, , AES_128_GCM
Server
172.67.72.209 , United States, ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare / ASP.NET
Resource Hash
a9a5d68c6565070e2466ffd6b2b0412972a724597535681fca0f4e4421cb37cd

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
Referer
https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
sec-ch-ua-platform
"Win32"

Response headers

date
Tue, 21 May 2024 05:05:33 GMT
cf-cache-status
MISS
last-modified
Tue, 17 Oct 2023 10:01:07 GMT
nel
{"success_fraction":0,"report_to":"cf-nel","max_age":604800}
server
cloudflare
etag
"1da00e0d8c1140e"
x-powered-by
ASP.NET
vary
Accept-Encoding
report-to
{"endpoints":[{"url":"https:\/\/a.nel.cloudflare.com\/report\/v4?s=opi1cpvaxITCfolr1MkDV7%2BS5s0p4kxriuANEWsyw6QkEAD5WNUFwxx9uz%2B5XA9ogpdAUa%2BWtu4hOHtPxjVQh56hEqSIIGgw1dbTqNd5EN2ffq8Y9uu82hbWcuRjIQsA"}],"group":"cf-nel","max_age":604800}
content-type
image/jpeg
cache-control
max-age=1800
accept-ranges
bytes
cf-ray
88720838185765a3-FRA
alt-svc
h3=":443"; ma=86400
content-length
75662
KFOmCnqEu92Fr1Mu4mxK.woff2
fonts.gstatic.com/s/roboto/v30/ 		15 KB
15 KB 		Font
General
Check archive.org
Download Go to
Full URL
https://fonts.gstatic.com/s/roboto/v30/KFOmCnqEu92Fr1Mu4mxK.woff2
Requested by
Host: fonts.googleapis.com
URL: https://fonts.googleapis.com/css?family=Roboto:300,400,500,700
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2a00:1450:4001:830::2003 Frankfurt am Main, Germany, ASN15169 (GOOGLE, US),
Reverse DNS
Software
sffe /
Resource Hash
f6734f8177112c0839b961f96d813fcb189d81b60e96c33278c1983b6f419615
Security Headers
Name Value
X-Content-Type-Options nosniff
X-Xss-Protection 0

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
Referer
https://fonts.googleapis.com/
Origin
https://www.doulos.com
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
sec-ch-ua-platform
"Win32"

Response headers

date
Mon, 20 May 2024 18:35:36 GMT
x-content-type-options
nosniff
age
37797
content-security-policy-report-only
require-trusted-types-for 'script'; report-uri https://csp.withgoogle.com/csp/apps-themes
cross-origin-resource-policy
cross-origin
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
content-length
15744
x-xss-protection
0
last-modified
Wed, 11 May 2022 19:24:48 GMT
server
sffe
cross-origin-opener-policy
same-origin; report-to="apps-themes"
report-to
{"group":"apps-themes","max_age":2592000,"endpoints":[{"url":"https://csp.withgoogle.com/csp/report-to/apps-themes"}]}
content-type
font/woff2
access-control-allow-origin
*
cache-control
public, max-age=31536000
accept-ranges
bytes
timing-allow-origin
*
expires
Tue, 20 May 2025 18:35:36 GMT
9d337ac1de4779442740.ttf
www.doulos.com/ 		2 KB
3 KB 		Font
General
Check archive.org
Download Go to
Full URL
https://www.doulos.com/9d337ac1de4779442740.ttf?qleog0
Requested by
Host: www.doulos.com
URL: https://www.doulos.com/css/main.css
Protocol
H3
Security
QUIC, , AES_128_GCM
Server
172.67.72.209 , United States, ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare / ASP.NET
Resource Hash
d750d58f9bae52f19fd824a17a4b2ead2bd835ab7e44f5a2010b242a07cff63d

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
Referer
https://www.doulos.com/css/main.css
Origin
https://www.doulos.com
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
sec-ch-ua-platform
"Win32"

Response headers

date
Tue, 21 May 2024 05:05:33 GMT
cf-cache-status
REVALIDATED
last-modified
Mon, 18 Dec 2023 13:17:45 GMT
nel
{"success_fraction":0,"report_to":"cf-nel","max_age":604800}
server
cloudflare
etag
"1da31b49684ab24"
x-powered-by
ASP.NET
vary
Accept-Encoding
report-to
{"endpoints":[{"url":"https:\/\/a.nel.cloudflare.com\/report\/v4?s=DxKhfcHNmfe%2BYC9uHeXME4fBbQgh0eDYeAMYZhF%2BoOaszaI6FxdR%2F3En7ND75ftYkDCJS73xm4SN7ErwPA5xcOHMKgs42%2BAyhofKNXBBLygHIjmEhh%2B6rgZTrVlvI1y%2B"}],"group":"cf-nel","max_age":604800}
content-type
application/x-font-ttf
cache-control
max-age=1800
accept-ranges
bytes
cf-ray
88720838587965a3-FRA
alt-svc
h3=":443"; ma=86400
content-length
2468
KFOlCnqEu92Fr1MmWUlfBBc4.woff2
fonts.gstatic.com/s/roboto/v30/ 		15 KB
16 KB 		Font
General
Check archive.org
Download Go to
Full URL
https://fonts.gstatic.com/s/roboto/v30/KFOlCnqEu92Fr1MmWUlfBBc4.woff2
Requested by
Host: fonts.googleapis.com
URL: https://fonts.googleapis.com/css?family=Roboto:300,400,500,700
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2a00:1450:4001:830::2003 Frankfurt am Main, Germany, ASN15169 (GOOGLE, US),
Reverse DNS
Software
sffe /
Resource Hash
f5aebdfea35d1e7656ef4acc5db1f243209755ae3300943ef8fc6280f363c860
Security Headers
Name Value
X-Content-Type-Options nosniff
X-Xss-Protection 0

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
Referer
https://fonts.googleapis.com/
Origin
https://www.doulos.com
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
sec-ch-ua-platform
"Win32"

Response headers

date
Mon, 20 May 2024 13:54:02 GMT
x-content-type-options
nosniff
age
54691
content-security-policy-report-only
require-trusted-types-for 'script'; report-uri https://csp.withgoogle.com/csp/apps-themes
cross-origin-resource-policy
cross-origin
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
content-length
15860
x-xss-protection
0
last-modified
Wed, 11 May 2022 19:24:42 GMT
server
sffe
cross-origin-opener-policy
same-origin; report-to="apps-themes"
report-to
{"group":"apps-themes","max_age":2592000,"endpoints":[{"url":"https://csp.withgoogle.com/csp/report-to/apps-themes"}]}
content-type
font/woff2
access-control-allow-origin
*
cache-control
public, max-age=31536000
accept-ranges
bytes
timing-allow-origin
*
expires
Tue, 20 May 2025 13:54:02 GMT
KFOlCnqEu92Fr1MmSU5fBBc4.woff2
fonts.gstatic.com/s/roboto/v30/ 		15 KB
15 KB 		Font
General
Check archive.org
Download Go to
Full URL
https://fonts.gstatic.com/s/roboto/v30/KFOlCnqEu92Fr1MmSU5fBBc4.woff2
Requested by
Host: fonts.googleapis.com
URL: https://fonts.googleapis.com/css?family=Roboto:300,400,500,700
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2a00:1450:4001:830::2003 Frankfurt am Main, Germany, ASN15169 (GOOGLE, US),
Reverse DNS
Software
sffe /
Resource Hash
f75911313e1c7802c23345ab57e754d87801581706780c993fb23ff4e0fe62ef
Security Headers
Name Value
X-Content-Type-Options nosniff
X-Xss-Protection 0

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
Referer
https://fonts.googleapis.com/
Origin
https://www.doulos.com
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
sec-ch-ua-platform
"Win32"

Response headers

date
Mon, 20 May 2024 20:51:48 GMT
x-content-type-options
nosniff
age
29625
content-security-policy-report-only
require-trusted-types-for 'script'; report-uri https://csp.withgoogle.com/csp/apps-themes
cross-origin-resource-policy
cross-origin
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
content-length
15740
x-xss-protection
0
last-modified
Wed, 11 May 2022 19:24:56 GMT
server
sffe
cross-origin-opener-policy
same-origin; report-to="apps-themes"
report-to
{"group":"apps-themes","max_age":2592000,"endpoints":[{"url":"https://csp.withgoogle.com/csp/report-to/apps-themes"}]}
content-type
font/woff2
access-control-allow-origin
*
cache-control
public, max-age=31536000
accept-ranges
bytes
timing-allow-origin
*
expires
Tue, 20 May 2025 20:51:48 GMT
collect
www.google-analytics.com/j/ 		3 B
207 B 		XHR
General
Check archive.org
Download Go to
Full URL
https://www.google-analytics.com/j/collect?v=1&_v=j101&a=396244903&t=pageview&_s=1&dl=https%3A%2F%2Fwww.doulos.com%2Fwebinars%2Faccelerating-formal-verification-using-non-determinism%2F%3Fsource%3Dsnps%26mkt_tok%3DMzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4&dr=https%3A%2F%2Fem.synopsys.com%2F&ul=de-de&de=UTF-8&dt=Accelerating%20Formal%20Verification%20Using%20Non-Determinism&sd=24-bit&sr=1600x1200&vp=1600x1200&je=0&_u=IEBAAEABAAAAACAAI~&jid=874718493&gjid=734382353&cid=1731919050.1716267934&tid=UA-175586435-1&_gid=588394880.1716267934&_r=1&_slc=1&z=333559216
Requested by
Host: www.google-analytics.com
URL: https://www.google-analytics.com/analytics.js
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2a00:1450:4001:803::200e Frankfurt am Main, Germany, ASN15169 (GOOGLE, US),
Reverse DNS
Software
Golfe2 /
Resource Hash
1cffc2b3146584685cd72751d7f28aa030ab9ae2f1bc78f2c27909f8d8287b26
Security Headers
Name Value
X-Content-Type-Options nosniff

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
sec-ch-ua-platform
"Win32"
Referer
https://www.doulos.com/
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
Content-Type
text/plain

Response headers

pragma
no-cache
date
Tue, 21 May 2024 05:05:33 GMT
x-content-type-options
nosniff
last-modified
Sun, 17 May 1998 03:00:00 GMT
server
Golfe2
content-type
text/plain
access-control-allow-origin
https://www.doulos.com
cache-control
no-cache, no-store, must-revalidate
access-control-allow-credentials
true
cross-origin-resource-policy
cross-origin
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
content-length
3
expires
Fri, 01 Jan 1990 00:00:00 GMT
va-7714fc717eb24fc22a4164065e1fc8c4.js
dev.visualwebsiteoptimizer.com/7.0/ 		239 KB
67 KB 		Script
General
Check archive.org
Download Go to
Full URL
https://dev.visualwebsiteoptimizer.com/7.0/va-7714fc717eb24fc22a4164065e1fc8c4.js
Requested by
Host: dev.visualwebsiteoptimizer.com
URL: https://dev.visualwebsiteoptimizer.com/j.php?a=317180&u=https%3A%2F%2Fwww.doulos.com%2Fwebinars%2Faccelerating-formal-verification-using-non-determinism%2F%3Fsource%3Dsnps%26mkt_tok%3DMzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4&f=1&r=0.21615145265114943
Protocol
H3
Security
QUIC, , AES_128_GCM
Server
34.96.102.137 Kansas City, United States, ASN396982 (GOOGLE-CLOUD-PLATFORM, US),
Reverse DNS
137.102.96.34.bc.googleusercontent.com
Software
gfra1 /
Resource Hash
108d9e7298999653ca91442ae0396224b6658442ed6a8117c52c8bc85a16600d

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
Referer
https://www.doulos.com/
Origin
https://www.doulos.com
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
sec-ch-ua-platform
"Win32"

Response headers

date
Tue, 21 May 2024 05:05:33 GMT
content-encoding
br
via
1.1 google
last-modified
Mon, 20 May 2024 07:34:24 GMT
server
gfra1
etag
"664afd00-10d34"
vary
Accept-Encoding
content-type
text/javascript; charset=UTF-8
access-control-allow-origin
*
cache-control
public, max-age=31536000
accept-ranges
bytes
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
content-length
68916
v.gif
dev.visualwebsiteoptimizer.com/ 		35 B
152 B 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://dev.visualwebsiteoptimizer.com/v.gif?cd=0&a=317180&d=doulos.com&u=D485C7567A48BB7B488158A86ABB09B77&h=1329cdb330aefd8e7d60035baf541740&t=false
Requested by
Host: www.doulos.com
URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
34.96.102.137 Kansas City, United States, ASN396982 (GOOGLE-CLOUD-PLATFORM, US),
Reverse DNS
137.102.96.34.bc.googleusercontent.com
Software
gnv3c /
Resource Hash
8337212354871836e6763a41e615916c89bac5b3f1f0adf60ba43c7c806e1015
Security Headers
Name Value
X-Content-Type-Options nosniff

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
Referer
https://www.doulos.com/
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
sec-ch-ua-platform
"Win32"

Response headers

date
Tue, 21 May 2024 05:05:33 GMT
via
1.1 google
x-content-type-options
nosniff
server
gnv3c
content-type
image/gif
access-control-allow-origin
*
cache-control
public, max-age=43200
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
content-length
35
collect
px4.ads.linkedin.com/
Redirect Chain
  • https://px.ads.linkedin.com/collect?v=2&fmt=js&pid=4164617&time=1716267933571&url=https%3A%2F%2Fwww.doulos.com%2Fwebinars%2Faccelerating-formal-verification-using-non-determinism%2F%3Fsource%3Dsnps...
  • https://px.ads.linkedin.com/collect?v=2&fmt=js&pid=4164617&time=1716267933571&url=https%3A%2F%2Fwww.doulos.com%2Fwebinars%2Faccelerating-formal-verification-using-non-determinism%2F%3Fsource%3Dsnps...
  • https://www.linkedin.com/px/li_sync?redirect=https%3A%2F%2Fpx.ads.linkedin.com%2Fcollect%3Fv%3D2%26fmt%3Djs%26pid%3D4164617%26time%3D1716267933571%26url%3Dhttps%253A%252F%252Fwww.doulos.com%252Fweb...
  • https://px.ads.linkedin.com/collect?v=2&fmt=js&pid=4164617&time=1716267933571&url=https%3A%2F%2Fwww.doulos.com%2Fwebinars%2Faccelerating-formal-verification-using-non-determinism%2F%3Fsource%3Dsnps...
  • https://px4.ads.linkedin.com/collect?v=2&fmt=js&pid=4164617&time=1716267933571&url=https%3A%2F%2Fwww.doulos.com%2Fwebinars%2Faccelerating-formal-verification-using-non-determinism%2F%3Fsource%3Dsnp...
0
264 B 		Image
General
Check archive.org
Download Go to Show image
Full URL
https://px4.ads.linkedin.com/collect?v=2&fmt=js&pid=4164617&time=1716267933571&url=https%3A%2F%2Fwww.doulos.com%2Fwebinars%2Faccelerating-formal-verification-using-non-determinism%2F%3Fsource%3Dsnps%26mkt_tok%3DMzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4&cookiesTest=true&liSync=true&e_ipv6=AQI3CwbDUzsRugAAAY-ZimK19R55KbHl4NZW-CpjKSeEcWLHEpWWhPXrgdDrzwIgDKBDN41hAQhz
Requested by
Host: www.doulos.com
URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Protocol
H2
Server
13.107.42.14 , United States, ASN8068 (MICROSOFT-CORP-MSN-AS-BLOCK, US),
Reverse DNS
Software
/
Resource Hash
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855

Request headers

Accept-Language
de-DE,de;q=0.9;q=0.9
Referer
https://www.doulos.com/
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36

Response headers

date
Tue, 21 May 2024 05:05:34 GMT
x-li-pop
afd-prod-lor1-x
x-msedge-ref
Ref A: 782A8252B4F74DC89E1816A30216274D Ref B: FRAEDGE1705 Ref C: 2024-05-21T05:05:34Z
linkedin-action
1
x-cache
CONFIG_NOCACHE
content-type
application/javascript
x-li-fabric
prod-lor1
x-li-proto
http/2
content-length
0
x-li-uuid
AAYY78SV8DlS4MU0ES7vTw==

Redirect headers

date
Tue, 21 May 2024 05:05:33 GMT
x-li-pop
afd-prod-lor1-x
x-msedge-ref
Ref A: 410E0F2FA9164DB09D7B036F4B915ECE Ref B: FRAEDGE1120 Ref C: 2024-05-21T05:05:34Z
linkedin-action
1
x-cache
CONFIG_NOCACHE
x-li-fabric
prod-lor1
location
https://px4.ads.linkedin.com/collect?v=2&fmt=js&pid=4164617&time=1716267933571&url=https%3A%2F%2Fwww.doulos.com%2Fwebinars%2Faccelerating-formal-verification-using-non-determinism%2F%3Fsource%3Dsnps%26mkt_tok%3DMzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4&cookiesTest=true&liSync=true&e_ipv6=AQI3CwbDUzsRugAAAY-ZimK19R55KbHl4NZW-CpjKSeEcWLHEpWWhPXrgdDrzwIgDKBDN41hAQhz
x-li-proto
http/2
content-length
0
x-li-uuid
AAYY78SReycuo3N0o/IGXA==
collect
region1.google-analytics.com/g/ 		0
253 B 		Ping
General
Check archive.org
Download Go to
Full URL
https://region1.google-analytics.com/g/collect?v=2&tid=G-H4X0GBMK39&gtm=45je45f0v9137317472za200&_p=1716267933431&gcd=13l3l3l2l1&npa=1&dma_cps=sypham&dma=1&cid=1731919050.1716267934&ul=de-de&sr=1600x1200&uaa=x86&uab=64&uafvl=Chromium%3B124.0.6367.207%7CGoogle%2520Chrome%3B124.0.6367.207%7CNot-A.Brand%3B99.0.0.0&uamb=0&uam=&uap=Win32&uapv=10.0.0&uaw=0&frm=0&pscdl=noapi&_s=1&sid=1716267933&sct=1&seg=0&dl=https%3A%2F%2Fwww.doulos.com%2Fwebinars%2Faccelerating-formal-verification-using-non-determinism%2F%3Fsource%3Dsnps%26mkt_tok%3DMzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4&dr=https%3A%2F%2Fem.synopsys.com%2F&dt=Accelerating%20Formal%20Verification%20Using%20Non-Determinism&en=page_view&_fv=1&_ss=1&_ee=1&tfd=578
Requested by
Host: www.googletagmanager.com
URL: https://www.googletagmanager.com/gtag/js?id=G-K96ECKLTHQ
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2001:4860:4802:34::36 , United States, ASN15169 (GOOGLE, US),
Reverse DNS
Software
Golfe2 /
Resource Hash
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
Referer
https://www.doulos.com/
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
sec-ch-ua-platform
"Win32"

Response headers

pragma
no-cache
date
Tue, 21 May 2024 05:05:33 GMT
server
Golfe2
content-type
text/plain
access-control-allow-origin
https://www.doulos.com
cache-control
no-cache, no-store, must-revalidate
access-control-allow-credentials
true
cross-origin-resource-policy
cross-origin
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
content-length
0
expires
Fri, 01 Jan 1990 00:00:00 GMT
collect
region1.google-analytics.com/g/ 		0
54 B 		Ping
General
Check archive.org
Download Go to
Full URL
https://region1.google-analytics.com/g/collect?v=2&tid=G-K96ECKLTHQ&gtm=45je45f0v9137317472za200&_p=1716267933431&gcd=13l3l3l2l1&npa=1&dma_cps=sypham&dma=1&cid=1731919050.1716267934&ul=de-de&sr=1600x1200&uaa=x86&uab=64&uafvl=Chromium%3B124.0.6367.207%7CGoogle%2520Chrome%3B124.0.6367.207%7CNot-A.Brand%3B99.0.0.0&uamb=0&uam=&uap=Win32&uapv=10.0.0&uaw=0&frm=0&pscdl=noapi&_s=1&sid=1716267933&sct=1&seg=0&dl=https%3A%2F%2Fwww.doulos.com%2Fwebinars%2Faccelerating-formal-verification-using-non-determinism%2F%3Fsource%3Dsnps%26mkt_tok%3DMzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4&dr=https%3A%2F%2Fem.synopsys.com%2F&dt=Accelerating%20Formal%20Verification%20Using%20Non-Determinism&en=page_view&_fv=1&_ss=1&_ee=1&tfd=587
Requested by
Host: www.googletagmanager.com
URL: https://www.googletagmanager.com/gtag/js?id=G-K96ECKLTHQ
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2001:4860:4802:34::36 , United States, ASN15169 (GOOGLE, US),
Reverse DNS
Software
Golfe2 /
Resource Hash
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
Referer
https://www.doulos.com/
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
sec-ch-ua-platform
"Win32"

Response headers

pragma
no-cache
date
Tue, 21 May 2024 05:05:33 GMT
server
Golfe2
content-type
text/plain
access-control-allow-origin
https://www.doulos.com
cache-control
no-cache, no-store, must-revalidate
access-control-allow-credentials
true
cross-origin-resource-policy
cross-origin
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
content-length
0
expires
Fri, 01 Jan 1990 00:00:00 GMT
bundle.js
assets.ubembed.com/universalscript/releases/v0.182.0/ 		183 KB
49 KB 		Script
General
Check archive.org
Download Go to
Full URL
https://assets.ubembed.com/universalscript/releases/v0.182.0/bundle.js
Requested by
Host: 5990ce5818ec4c74999a30b3f8ad322a.js.ubembed.com
URL: https://5990ce5818ec4c74999a30b3f8ad322a.js.ubembed.com/
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
108.138.26.52 , United States, ASN16509 (AMAZON-02, US),
Reverse DNS
server-108-138-26-52.fra56.r.cloudfront.net
Software
AmazonS3 /
Resource Hash
826d33c6cc1a0b9b9a182a9e9d238d1cbf3e59e0f93a650db5fc30272a0fe661

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
Referer
https://www.doulos.com/
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
sec-ch-ua-platform
"Win32"

Response headers

date
Wed, 01 May 2024 16:40:22 GMT
content-encoding
gzip
via
1.1 6be461c5a9399007c1540eee90371674.cloudfront.net (CloudFront)
last-modified
Tue, 30 Apr 2024 22:19:57 GMT
server
AmazonS3
x-amz-cf-pop
FRA56-P7
age
1686311
etag
W/"5a7104ccbed92551c8326d42a8fd0bdb"
x-amz-server-side-encryption
AES256
vary
Accept-Encoding
x-cache
Hit from cloudfront
content-type
application/javascript
cache-control
max-age=31536000
x-amz-cf-id
S1DxABlpRe97fUXegQQcF_pXvDCDn-jmeBlGEgYax7HjgL8nglIXkg==
v
apikeys.civiccomputing.com/c/ 		429 B
813 B 		XHR
General
Check archive.org
Download Go to
Full URL
https://apikeys.civiccomputing.com/c/v?d=www.doulos.com&p=CookieControl%20Multi-Site&v=9&k=be0c2badd2c2d1801f475fa02ffaa02dae272f9f&format=json
Requested by
Host: cc.cdn.civiccomputing.com
URL: https://cc.cdn.civiccomputing.com/9/cookieControl-9.5.min.js
Protocol
H2
Security
TLS 1.2, ECDHE_RSA, AES_128_GCM
Server
2001:1b40:e200::1b:243 , United Kingdom, ASN20860 (IOMART-AS, GB),
Reverse DNS
Software
Apache /
Resource Hash
78dfc38d2b1aaddbac5fe909f354748005e634d54a3ca4785d07a9b1976e2369
Security Headers
Name Value
X-Content-Type-Options nosniff
X-Xss-Protection 1

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
Accept
application/json, text/plain, */*
Referer
https://www.doulos.com/
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
sec-ch-ua-platform
"Win32"

Response headers

x-apikeys
hit
date
Tue, 21 May 2024 05:05:33 GMT
referrer-policy
strict-origin-when-cross-origin
x-content-type-options
nosniff
server
Apache
vary
X-Forwarded-Protocol
access-control-allow-methods
GET
content-type
application/json
access-control-allow-origin
*
cache-control
max-age=7200, private
access-control-allow-headers
origin, x-requested-with, content-type
x-xss-protection
1
expires
Tue, 21 May 2024 05:44:26 GMT
settings.js
dev.visualwebsiteoptimizer.com/ 		1 KB
639 B 		Script
General
Check archive.org
Download Go to
Full URL
https://dev.visualwebsiteoptimizer.com/settings.js?a=317180&settings_type=1&vn=7.0
Requested by
Host: dev.visualwebsiteoptimizer.com
URL: https://dev.visualwebsiteoptimizer.com/7.0/va-7714fc717eb24fc22a4164065e1fc8c4.js
Protocol
H3
Security
QUIC, , AES_128_GCM
Server
34.96.102.137 Kansas City, United States, ASN396982 (GOOGLE-CLOUD-PLATFORM, US),
Reverse DNS
137.102.96.34.bc.googleusercontent.com
Software
gfra1 /
Resource Hash
e57206e6f596fe3ec5584e17289d09a53e841cc58d1be9dcaca792f531a03597

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
Referer
https://www.doulos.com/
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
sec-ch-ua-platform
"Win32"

Response headers

date
Tue, 21 May 2024 05:05:32 GMT
content-encoding
gzip
via
1.1 google
server
gfra1
etag
W/"1716190473"
content-type
application/javascript; charset=UTF-8
access-control-allow-origin
*
cache-control
public, max-age=0, no-cache, must-revalidate
alt-svc
h3=":443"; ma=2592000,h3-29=":443"; ma=2592000
sdk.js
connect.facebook.net/en_US/ 		3 KB
4 KB 		Script
General
Check archive.org
Download Go to
Full URL
https://connect.facebook.net/en_US/sdk.js
Requested by
Host: www.doulos.com
URL: https://www.doulos.com/Dist/bundle.js
Protocol
H2
Security
TLS 1.3, , AES_128_GCM
Server
2a03:2880:f084:d:face:b00c:0:3 Frankfurt am Main, Germany, ASN32934 (FACEBOOK, US),
Reverse DNS
Software
/
Resource Hash
41c3db358f1ee92f76c6a124ea2e4137f4e089fa5551a1c178e9ff89d06a52fa
Security Headers
Name Value
Strict-Transport-Security max-age=31536000; preload; includeSubDomains
X-Content-Type-Options nosniff
X-Frame-Options DENY

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
Referer
https://www.doulos.com/
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
sec-ch-ua-platform
"Win32"

Response headers

strict-transport-security
max-age=31536000; preload; includeSubDomains
content-encoding
gzip
x-content-type-options
nosniff
date
Tue, 21 May 2024 05:05:33 GMT
content-md5
SN+kJFVGuYvAaBu/OIgPJg==
document-policy
force-load-at-top
cross-origin-resource-policy
cross-origin
alt-svc
h3=":443"; ma=86400
content-length
1686
reporting-endpoints
coop_report="https://www.facebook.com/browser_reporting/coop/?minimize=0", coep_report="https://www.facebook.com/browser_reporting/coep/?minimize=0", permissions_policy="https://www.facebook.com/ajax/browser_error_reports/"
x-fb-connection-quality
EXCELLENT; q=0.9, rtt=18, rtx=0, c=12, mss=1294, tbw=2783, tp=-1, tpl=-1, uplat=0, ullat=-1
x-fb-debug
uxCJhbvypba654EKnZ1MjfLc19DGyPsuyk/zI/sne6WakgRiLHcDuQ4LzwBl9aJR6dOVphBAWvFkUgi7Em2dxQ==
cross-origin-embedder-policy-report-only
require-corp;report-to="coep_report"
x-fb-content-md5
eb38b5b487b695af1f1efeeab30d709b
cross-origin-opener-policy
same-origin-allow-popups;report-to="coop_report"
etag
"86e4879dad0824f422749006078a804d"
vary
Accept-Encoding
report-to
{"max_age":2592000,"endpoints":[{"url":"https:\/\/www.facebook.com\/browser_reporting\/coop\/?minimize=0"}],"group":"coop_report","include_subdomains":true}, {"max_age":86400,"endpoints":[{"url":"https:\/\/www.facebook.com\/browser_reporting\/coep\/?minimize=0"}],"group":"coep_report"}, {"max_age":21600,"endpoints":[{"url":"https:\/\/www.facebook.com\/ajax\/browser_error_reports\/"}],"group":"permissions_policy"}
content-type
application/x-javascript; charset=utf-8
access-control-allow-origin
*
access-control-expose-headers
X-FB-Content-MD5
cache-control
public,max-age=1200,stale-while-revalidate=3600
permissions-policy
accelerometer=(), attribution-reporting=(), autoplay=(), battery=(self), bluetooth=(), camera=(), ch-device-memory=(), ch-downlink=(), ch-dpr=(), ch-ect=(), ch-rtt=(), ch-save-data=(), ch-ua-arch=(), ch-ua-bitness=(), ch-viewport-height=(), ch-viewport-width=(), ch-width=(), clipboard-read=(), clipboard-write=(), compute-pressure=(), display-capture=(), encrypted-media=(), fullscreen=(self), gamepad=(), geolocation=(), gyroscope=(), hid=(), idle-detection=(), interest-cohort=(), keyboard-map=(), local-fonts=(), magnetometer=(), microphone=(), midi=(), otp-credentials=(), payment=(), picture-in-picture=(), private-state-token-issuance=(), publickey-credentials-get=(), screen-wake-lock=(), serial=(), shared-storage=(), shared-storage-select-url=(), private-state-token-redemption=(), usb=(), usb-unrestricted=(), unload=(self), window-management=(), xr-spatial-tracking=();report-to="permissions_policy"
x-frame-options
DENY
timing-allow-origin
*
expires
Tue, 21 May 2024 05:08:46 GMT
sdk.js
connect.facebook.net/en_US/ 		299 KB
86 KB 		Script
General
Check archive.org
Download Go to
Full URL
https://connect.facebook.net/en_US/sdk.js?hash=faa562ccc9b1c683a8f91814b2428fce
Requested by
Host: connect.facebook.net
URL: https://connect.facebook.net/en_US/sdk.js
Protocol
H3
Security
QUIC, , AES_128_GCM
Server
157.240.252.13 Frankfurt am Main, Germany, ASN32934 (FACEBOOK, US),
Reverse DNS
xx-fbcdn-shv-01-fra3.fbcdn.net
Software
/
Resource Hash
d36f8bfad149dab6e15adf799e7d75cf54391fcdda77de5de19e09276887f624
Security Headers
Name Value
Strict-Transport-Security max-age=31536000; preload; includeSubDomains
X-Content-Type-Options nosniff
X-Frame-Options DENY

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
Referer
https://www.doulos.com/
Origin
https://www.doulos.com
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
sec-ch-ua-platform
"Win32"

Response headers

strict-transport-security
max-age=31536000; preload; includeSubDomains
content-encoding
gzip
x-content-type-options
nosniff
date
Tue, 21 May 2024 05:05:33 GMT
content-md5
d9poffsFy+SFkoMGtzsh+g==
document-policy
force-load-at-top
cross-origin-resource-policy
cross-origin
alt-svc
h3=":443"; ma=86400
content-length
87593
reporting-endpoints
coop_report="https://www.facebook.com/browser_reporting/coop/?minimize=0", coep_report="https://www.facebook.com/browser_reporting/coep/?minimize=0", permissions_policy="https://www.facebook.com/ajax/browser_error_reports/"
x-fb-connection-quality
EXCELLENT; q=0.9, rtt=20, rtx=0, c=23, mss=1232, tbw=4330, tp=9, tpl=0, uplat=1, ullat=-1
x-fb-debug
M4H1LVoEdGUhJ5opvFa/zoBOWD7WbhT7qUp9yyFnXoDRgMlKi5aVgMwCzs4lnE4G7idQ93/Nqu7I7zS0w5+EMg==
cross-origin-embedder-policy-report-only
require-corp;report-to="coep_report"
x-fb-content-md5
79df7697b1e5dfe88c3082d9aa52d56d
cross-origin-opener-policy
same-origin-allow-popups;report-to="coop_report"
etag
"f83f7e4b4fcdbb2cb480291932cbaef8"
vary
Accept-Encoding
report-to
{"max_age":2592000,"endpoints":[{"url":"https:\/\/www.facebook.com\/browser_reporting\/coop\/?minimize=0"}],"group":"coop_report","include_subdomains":true}, {"max_age":86400,"endpoints":[{"url":"https:\/\/www.facebook.com\/browser_reporting\/coep\/?minimize=0"}],"group":"coep_report"}, {"max_age":21600,"endpoints":[{"url":"https:\/\/www.facebook.com\/ajax\/browser_error_reports\/"}],"group":"permissions_policy"}
content-type
application/x-javascript; charset=utf-8
access-control-allow-origin
*
origin-agent-cluster
?0
access-control-expose-headers
X-FB-Content-MD5
cache-control
public,max-age=31536000,stale-while-revalidate=3600,immutable
permissions-policy
accelerometer=(), attribution-reporting=(), autoplay=(), battery=(self), bluetooth=(), camera=(), ch-device-memory=(), ch-downlink=(), ch-dpr=(), ch-ect=(), ch-rtt=(), ch-save-data=(), ch-ua-arch=(), ch-ua-bitness=(), ch-viewport-height=(), ch-viewport-width=(), ch-width=(), clipboard-read=(), clipboard-write=(), compute-pressure=(), display-capture=(), encrypted-media=(), fullscreen=(self), gamepad=(), geolocation=(), gyroscope=(), hid=(), idle-detection=(), interest-cohort=(), keyboard-map=(), local-fonts=(), magnetometer=(), microphone=(), midi=(), otp-credentials=(), payment=(), picture-in-picture=(), private-state-token-issuance=(), publickey-credentials-get=(), screen-wake-lock=(), serial=(), shared-storage=(), shared-storage-select-url=(), private-state-token-redemption=(), usb=(), usb-unrestricted=(), unload=(self), window-management=(), xr-spatial-tracking=();report-to="permissions_policy"
x-frame-options
DENY
timing-allow-origin
*
priority
u=3,i
expires
Wed, 21 May 2025 02:44:00 GMT
matomo.php
pk.doulos.com/N7QZzUVa/ 		0
245 B 		Ping
General
Check archive.org
Download Go to
Full URL
https://pk.doulos.com/N7QZzUVa/matomo.php?action_name=Accelerating%20Formal%20Verification%20Using%20Non-Determinism&idsite=1&rec=1&r=424406&h=7&m=5&s=34&url=https%3A%2F%2Fwww.doulos.com%2Fwebinars%2Faccelerating-formal-verification-using-non-determinism%2F%3Fsource%3Dsnps%26mkt_tok%3DMzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4&urlref=https%3A%2F%2Fem.synopsys.com%2F&_id=75a7c32a98166bb7&_idn=1&send_image=0&_refts=1716267934&_ref=https%3A%2F%2Fem.synopsys.com%2F&pv_id=mgKHvk&pf_net=61&pf_srv=140&pf_tfr=2&pf_dm1=491&uadata=%7B%22fullVersionList%22%3A%5B%7B%22brand%22%3A%22Chromium%22%2C%22version%22%3A%22124.0.6367.207%22%7D%2C%7B%22brand%22%3A%22Google%20Chrome%22%2C%22version%22%3A%22124.0.6367.207%22%7D%2C%7B%22brand%22%3A%22Not-A.Brand%22%2C%22version%22%3A%2299.0.0.0%22%7D%5D%2C%22mobile%22%3Afalse%2C%22model%22%3A%22%22%2C%22platform%22%3A%22Win32%22%2C%22platformVersion%22%3A%2210.0.0%22%7D&pdf=1&qt=0&realp=0&wma=0&fla=0&java=0&ag=0&cookie=1&res=1600x1200
Requested by
Host: pk.doulos.com
URL: https://pk.doulos.com/N7QZzUVa/matomo.js
Protocol
HTTP/1.1
Security
TLS 1.3, , AES_128_GCM
Server
2001:4801:7827:102:be76:4eff:fe10:1a23 , United States, ASN19994 (RACKSPACE, US),
Reverse DNS
Software
Apache/2.4.52 (Ubuntu) /
Resource Hash
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
sec-ch-ua-platform
"Win32"
Referer
https://www.doulos.com/
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
Content-Type
application/x-www-form-urlencoded; charset=utf-8

Response headers

Access-Control-Allow-Origin
https://www.doulos.com
Date
Tue, 21 May 2024 05:05:34 GMT
Access-Control-Allow-Credentials
true
Server
Apache/2.4.52 (Ubuntu)
Connection
Keep-Alive
Keep-Alive
timeout=5, max=99
/
px.ads.linkedin.com/wa/ 		0
194 B 		XHR
General
Check archive.org
Download Go to
Full URL
https://px.ads.linkedin.com/wa/
Requested by
Host: snap.licdn.com
URL: https://snap.licdn.com/li.lms-analytics/insight.min.js
Protocol
H2
Security
TLS 1.2, ECDHE_RSA, AES_256_GCM
Server
2620:1ec:21::14 , United States, ASN8068 (MICROSOFT-CORP-MSN-AS-BLOCK, US),
Reverse DNS
Software
/
Resource Hash
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
Content-Type
text/plain;charset=UTF-8
Accept
*
Referer
https://www.doulos.com/
sec-ch-ua-platform
"Win32"

Response headers

date
Tue, 21 May 2024 05:05:34 GMT
x-li-pop
afd-prod-lor1-x
x-msedge-ref
Ref A: 04CE2ACF26AC4FD79592FBC52AD09A65 Ref B: FRAEDGE1120 Ref C: 2024-05-21T05:05:34Z
linkedin-action
1
vary
Origin
x-cache
CONFIG_NOCACHE
x-li-fabric
prod-lor1
access-control-allow-origin
https://www.doulos.com
x-li-proto
http/2
access-control-allow-credentials
true
x-li-uuid
AAYY78SZQbvL+CwgyeQneA==
rum
www.doulos.com/cdn-cgi/ 		0
140 B 		XHR
General
Check archive.org
Download Go to
Full URL
https://www.doulos.com/cdn-cgi/rum?
Requested by
Host: static.cloudflareinsights.com
URL: https://static.cloudflareinsights.com/beacon.min.js/vedd3670a3b1c4e178fdfb0cc912d969e1713874337387
Protocol
H3
Security
QUIC, , AES_128_GCM
Server
172.67.72.209 , United States, ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare /
Resource Hash
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855
Security Headers
Name Value
X-Content-Type-Options nosniff
X-Frame-Options DENY

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
sec-ch-ua-platform
"Win32"
Referer
https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
content-type
application/json

Response headers

date
Tue, 21 May 2024 05:05:34 GMT
x-content-type-options
nosniff
server
cloudflare
vary
Origin
access-control-max-age
86400
access-control-allow-methods
POST,OPTIONS
access-control-allow-origin
https://www.doulos.com
x-frame-options
DENY
access-control-allow-credentials
true
cf-ray
887208408f7265a3-FRA
favicon-32x32.png
www.doulos.com/ 		1 KB
2 KB 		Other
General
Check archive.org
Download Go to
Full URL
https://www.doulos.com/favicon-32x32.png
Protocol
H3
Security
QUIC, , AES_128_GCM
Server
172.67.72.209 , United States, ASN13335 (CLOUDFLARENET, US),
Reverse DNS
Software
cloudflare / ASP.NET
Resource Hash
009989b452a322f96d3f4f3ddcb93488fe2cf84917ced988dd1cf572aab5cf8e

Request headers

sec-ch-ua
"Google Chrome";v="124", "Not:A-Brand";v="8", "Chromium";v="124"
Referer
https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Accept-Language
de-DE,de;q=0.9;q=0.9
sec-ch-ua-mobile
?0
User-Agent
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/124.0.0.0 Safari/537.36
sec-ch-ua-platform
"Win32"

Response headers

date
Tue, 21 May 2024 05:05:34 GMT
cf-cache-status
REVALIDATED
nel
{"success_fraction":0,"report_to":"cf-nel","max_age":604800}
cf-polished
origFmt=png, origSize=2188
x-powered-by
ASP.NET
content-disposition
inline; filename="favicon-32x32.webp"
alt-svc
h3=":443"; ma=86400
content-length
1220
cf-bgj
imgq:100,h2pri
last-modified
Fri, 03 Nov 2023 13:51:34 GMT
server
cloudflare
etag
"1da0e5cdb4ebf8c"
vary
Accept
report-to
{"endpoints":[{"url":"https:\/\/a.nel.cloudflare.com\/report\/v4?s=upqKhwITzrGQiblCrD8doi9lABtzh1wg63MOghH7jcsSj5nCRsAa9GE%2F9EzCkz8v1COyyQ0XKBGXGu6IIGFb8GbNxN9t5Koow7eTWh8%2FtXw3kNXfryfpGAp5Xt6yYqKh"}],"group":"cf-nel","max_age":604800}
content-type
image/webp
cache-control
max-age=1800
accept-ranges
bytes
cf-ray
887208409f8065a3-FRA

Verdicts & Comments Add Verdict or Comment

101 JavaScript Global Variables

These are the non-standard "global" variables defined on the window object. These can be helpful in identifying possible client-side frameworks and code.

function| gtag object| dataLayer string| GoogleAnalyticsObject function| ga object| _paq number| settings_timer number| _vwo_settings_timer object| _vwo_code string| _linkedin_partner_id object| _linkedin_data_partner_ids function| lintrk object| angular number| ng339 object| google_tag_data object| gaplugins object| gaGlobal object| gaData number| _vwo_acc_id object| vwoCode object| _vwo_style string| _vwo_css function| commonWrapper function| pushBasedCommonWrapper string| _vwo_cookieDomain string| _vwo_uuid string| _vis_opt_file number| _vwo_library_timer string| _vis_opt_lib undefined| vwo_e number| _vwo_j_e string| _vwo_mt string| _vwo_tm object| VWO object| vwo_iehack_queue object| _vwo_exp_ids object| _vwo_exp object| VWOOmni boolean| _already_called_lintrk object| google_tag_manager function| onYouTubeIframeAPIReady function| $ function| jQuery function| jQueryBridget function| EvEmitter function| getSize function| matchesSelector object| fizzyUIUtils function| Flickity function| Unipointer function| Unidragger function| TapListener function| imagesLoaded function| iFrameResize object| Tally function| Popper object| DoulosApp function| setImmediate function| clearImmediate object| regeneratorRuntime object| CookieControl function| vwo_$ string| _vwo_server_url object| _vis_opt_queue object| _vis_opt_check_segment object| _vwo_evq function| _vwo_ev boolean| DISABLE_NATIVE_CONSTANTS object| _vwo_t object| _vwo_editorOperationTracker function| _vwo_handleMutations object| _vwo_api_section_callback object| _vis_opt_comb_name function| _vwo_s object| _vwo_campaignData function| _vis_opt_top_initialize function| _vis_opt_bottom_initialize function| _vis_opt_goal_conversion function| _vis_opt_revenue_conversion function| _vis_opt_pause function| _vis_opt_readCookie function| _vis_opt_createCookie function| _vis_opt_element_loaded function| _vis_opt_GA_track function| _vis_opt_register_conversion function| _vis_opt_get_campaign_xPath number| _vis_opt_experiment_id boolean| _vwo_settings_timed_out string| vwo_ga4_uuid object| config function| OpenCivicSettings object| cookieSettingLinks object| __cfBeacon function| fbAsyncInit object| ube object| FB object| __buffer object| Piwik object| Matomo object| AnalyticsTracker function| piwik_log object| ORIBILI

12 Cookies

Domain/Path Name / Value
www.doulos.com/ Name: .AspNetCore.Antiforgery.9fXoN5jHCXs
Value: CfDJ8OuEnOUBC3JBjBXttiuxV8s0c39YjI864Q3AEzuPDlSNST_CULdMsROHsAjoXHJC5n9_TSVtAa7dFafRR6tS9vqq-3uUKhGNdoFvogH--z5YDcv3jwKwcnCL1N7vUW-bYoMM1JZYrkPw01MalbuMpSM
.js.ubembed.com/ Name: __cf_bm
Value: nMbwYnxOVZ.aTdvKvBaKr3j5cPAQMItlgFHs768xRE8-1716267933-1.0.1.1-4YqlXCyIKKkdkJxpV8CBperpcV5hgYaoWiNmtcAlOHEV.LoGUdyrUjcDB2YU6V.s_jE52fJF.GrVFk0vP.f5PA
.linkedin.com/ Name: li_sugr
Value: 1bd0816f-e857-4ef2-8029-402703d3b53a
.linkedin.com/ Name: bcookie
Value: "v=2&772442f9-f94a-403f-8e9b-0ad091227abb"
.linkedin.com/ Name: lidc
Value: "b=OGST02:s=O:r=O:a=O:p=O:g=3242:u=1:x=1:i=1716267933:t=1716354333:v=2:sig=AQG59d8vqS13pWB57q6ZyAoVhoq7Ei74"
www.doulos.com/ Name: _pk_ref.1.1db5
Value: %5B%22%22%2C%22%22%2C1716267934%2C%22https%3A%2F%2Fem.synopsys.com%2F%22%5D
www.doulos.com/ Name: _pk_id.1.1db5
Value: 75a7c32a98166bb7.1716267934.
www.doulos.com/ Name: _pk_ses.1.1db5
Value: 1
.linkedin.com/ Name: UserMatchHistory
Value: AQLUKIqnBFGa1QAAAY-ZimErrCFNWjkyFa3weNKsz02L4Wb4751yDJw_HUYn4gzxigB-cnCKNiNhpw
.linkedin.com/ Name: AnalyticsSyncHistory
Value: AQLMgvjFCw8cFQAAAY-ZimErtcGUWi-8kRrs3nT1Sj0tKeh8OJ1dvSGt_EKnQFGIORVFkoyJqt-FW5ADcFmtwg
.www.linkedin.com/ Name: bscookie
Value: "v=1&20240521050534623ee479-d904-433b-84f4-b5e5893bfc5aAQG3IP85kKAHyGSoFvg0XYAYOHqTjris"
.linkedin.com/ Name: li_gc
Value: MTswOzE3MTYyNjc5MzQ7MjswMjHV22/F239DdVJVJPQxJPVeA0tTiv5pIPp9bje4Q/3/2g==

36 Console Messages

Source Level URL
Text
other warning URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4(Line 1046)
Message:
Third-party cookie will be blocked. Learn more in the Issues tab.
other warning URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Message:
Third-party cookie will be blocked. Learn more in the Issues tab.
other warning URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Message:
Third-party cookie will be blocked. Learn more in the Issues tab.
other warning URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Message:
Third-party cookie will be blocked. Learn more in the Issues tab.
other warning URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Message:
Third-party cookie will be blocked. Learn more in the Issues tab.
other warning URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Message:
Third-party cookie will be blocked. Learn more in the Issues tab.
other warning URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Message:
Third-party cookie will be blocked. Learn more in the Issues tab.
other warning URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Message:
Third-party cookie will be blocked. Learn more in the Issues tab.
other warning URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Message:
Third-party cookie will be blocked. Learn more in the Issues tab.
other warning URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Message:
Third-party cookie will be blocked. Learn more in the Issues tab.
other warning URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Message:
Third-party cookie will be blocked. Learn more in the Issues tab.
other warning URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Message:
Third-party cookie will be blocked. Learn more in the Issues tab.
other warning URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Message:
Third-party cookie will be blocked. Learn more in the Issues tab.
other warning URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Message:
Third-party cookie will be blocked. Learn more in the Issues tab.
other warning URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Message:
Third-party cookie will be blocked. Learn more in the Issues tab.
other warning URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Message:
Third-party cookie will be blocked. Learn more in the Issues tab.
other warning URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Message:
Third-party cookie will be blocked. Learn more in the Issues tab.
other warning URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Message:
Third-party cookie will be blocked. Learn more in the Issues tab.
other warning URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Message:
Third-party cookie will be blocked. Learn more in the Issues tab.
other warning URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Message:
Third-party cookie will be blocked. Learn more in the Issues tab.
other warning URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Message:
Third-party cookie will be blocked. Learn more in the Issues tab.
other warning URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Message:
Third-party cookie will be blocked. Learn more in the Issues tab.
other warning URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Message:
Third-party cookie will be blocked. Learn more in the Issues tab.
other warning URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Message:
Third-party cookie will be blocked. Learn more in the Issues tab.
other warning URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Message:
Third-party cookie will be blocked. Learn more in the Issues tab.
other warning URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Message:
Third-party cookie will be blocked. Learn more in the Issues tab.
other warning URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Message:
Third-party cookie will be blocked. Learn more in the Issues tab.
other warning URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Message:
Third-party cookie will be blocked. Learn more in the Issues tab.
other warning URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Message:
Third-party cookie will be blocked. Learn more in the Issues tab.
other warning URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Message:
Third-party cookie will be blocked. Learn more in the Issues tab.
other warning URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Message:
Third-party cookie will be blocked. Learn more in the Issues tab.
other warning URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Message:
Third-party cookie will be blocked. Learn more in the Issues tab.
other warning URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Message:
Third-party cookie will be blocked. Learn more in the Issues tab.
other warning URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Message:
Third-party cookie will be blocked. Learn more in the Issues tab.
other warning URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Message:
Third-party cookie will be blocked. Learn more in the Issues tab.
other warning URL: https://www.doulos.com/webinars/accelerating-formal-verification-using-non-determinism/?source=snps&mkt_tok=MzY3LU1SVi0zNjAAAAGTNsgAUMtn7nFoTTxiP1DtdTxa44Wo51YjK_8r1A8YbSrURQrgov-GBDdF6j7IbACaFRQhkTrJd0p_k_BXfWO2LJwpExBqA8fsIJt9oN1v_XRlmO4
Message:
Third-party cookie will be blocked. Learn more in the Issues tab.

Security Headers

This page lists any security headers set by the main page. If you want to understand what these mean and how to use them, head on over to this page

Header Value
Content-Security-Policy default-src 'self'; img-src 'self';script-src 'self' 'sha256-s0+WxFMEVR1GfyUHmSUtnR2PROQ+jlp4ozC/nJpV2yM=';object-src 'none';form-action 'none';frame-src 'none';style-src 'self'
X-Content-Type-Options nosniff
X-Frame-Options SAMEORIGIN

Indicators

This is a term in the security industry to describe indicators such as IPs, Domains, Hashes, etc. This does not imply that any of these indicate malicious activity.

5990ce5818ec4c74999a30b3f8ad322a.js.ubembed.com
ajax.googleapis.com
apikeys.civiccomputing.com
assets.ubembed.com
cc.cdn.civiccomputing.com
cdnjs.cloudflare.com
connect.facebook.net
dev.visualwebsiteoptimizer.com
em.synopsys.com
fonts.googleapis.com
fonts.gstatic.com
pk.doulos.com
px.ads.linkedin.com
px4.ads.linkedin.com
region1.google-analytics.com
snap.licdn.com
static.cloudflareinsights.com
tally.so
www.doulos.com
www.google-analytics.com
www.googletagmanager.com
www.linkedin.com
104.17.25.14
108.138.26.52
13.107.42.14
157.240.252.13
172.64.148.75
172.67.72.209
172.67.8.54
188.114.97.3
2001:1b40:e200::1b:243
2001:4801:7827:102:be76:4eff:fe10:1a23
2001:4860:4802:34::36
2606:4700:20::681a:7e9
2606:4700::6810:4f49
2620:1ec:21::14
2a00:1450:4001:803::200e
2a00:1450:4001:810::200a
2a00:1450:4001:82f::2008
2a00:1450:4001:830::2003
2a02:26f0:3500:16::215:149b
2a03:2880:f084:d:face:b00c:0:3
34.96.102.137
52.184.251.130
009989b452a322f96d3f4f3ddcb93488fe2cf84917ced988dd1cf572aab5cf8e
06fa6dec0a4cd35a0fedc692dc816fb8706925515010453399e3582d5b8f9da0
0c9bc7534d077408a1b33568ff0c03071c9a2a9f27752478a82c70045d3ef172
108d9e7298999653ca91442ae0396224b6658442ed6a8117c52c8bc85a16600d
1100388fbf996eb7b0090bf027336657188a330191b295cc1a0b7b23a0008aab
1acf5b77c0e13a9a17006261f0754391d1ef57adbaf3a7756b60c3653fd86f8a
1cffc2b3146584685cd72751d7f28aa030ab9ae2f1bc78f2c27909f8d8287b26
21ef785f79bb1ff6a3a90ad8c0a1cedc089831a5c04a9e99cd01f06ecc63ad7e
3b1948b543a7c1a7f407545c9ccb06369d6d30e4f378e55b5abf5f927c9d1df0
41c3db358f1ee92f76c6a124ea2e4137f4e089fa5551a1c178e9ff89d06a52fa
47c98af9381208a621a0a4ab18d1d9d1d3f51677a47959cd0bbbe5d873f808b5
4fe68fa216176e6d1f4580e924bafecc9f519984ecc06b1a840a08b0d88c95de
502f58fb63c494e5903460fd4391f546edd2e9b88cb999075ff35c071afbdcad
78dfc38d2b1aaddbac5fe909f354748005e634d54a3ca4785d07a9b1976e2369
7bd1d25f57530a2ad4df01338bc837e4453cd40f240eee0d8a5d7a63bf35b08b
826d33c6cc1a0b9b9a182a9e9d238d1cbf3e59e0f93a650db5fc30272a0fe661
8337212354871836e6763a41e615916c89bac5b3f1f0adf60ba43c7c806e1015
8843d78e71109c5a76719249ed93b9620f200579d6c5f742050c0e3313b9ec4e
899d1ec3c095342571d3be2091ec6f984d4cc82390d1f61945c391fa035b00d9
a52f7aa54d7bcaafa056ee0a050262dfc5694ae28dee8b4cac3429af37ff0d66
a9a5d68c6565070e2466ffd6b2b0412972a724597535681fca0f4e4421cb37cd
a9efcc567561b93c9817d0925971d5d24fb17ac1b75520c3e0332ccd87b51a60
aa1599ca836532367d59ff5f8feec04f61de0cdd74e98444e71ba672673e34a2
aa677ec206f620679e7019c7ab9d292fccf07523affa0b13419851cbf9462043
b01cc6bd3e5e076f1accd94d88db0efb70acd628423a8da277135f2a3cff7234
b0887012a8fe8297c7487b4a0f8022fd12d1beec7c50a84afa3925fdb9f82a92
b39abd9035f703b76dfed940898d572b9864f676eb1912a9142f0639dca6b2ce
ca82ed1cc7faf61104133c83817462c0f1d8a91cc1b6d2f2444eeb093af9659c
d0756186044950ff9baeec208b264ac4857281b869f39bf1393e25b5c9fdd4bb
d2e817d2c44b9cf45f0e45cfa351abba3203af38f5aa1c8576a2db69ebd15192
d36f8bfad149dab6e15adf799e7d75cf54391fcdda77de5de19e09276887f624
d3f4104957e76483acba4180738253208fd8d4d81c64931244860514af502b82
d750d58f9bae52f19fd824a17a4b2ead2bd835ab7e44f5a2010b242a07cff63d
de36e50194320a7d3ef1ace9bd34a875a8bd458b253c061979dd628e9bf49afd
e1a1abf90e476c03e155ff7d6c55c8fcdca2c860a44d7e3a19cf722800798edf
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855
e4f98c0d95fe48258f1fdf338da718e0a81aa573489999ca6b6a73f65ffa6e8e
e57206e6f596fe3ec5584e17289d09a53e841cc58d1be9dcaca792f531a03597
ef1955ae757c8b966c83248350331bd3a30f658ced11f387f8ebf05ab3368629
f21f349279638236904b9328ee3750b876b7d46cc8fabd703d30935491fc671f
f5aebdfea35d1e7656ef4acc5db1f243209755ae3300943ef8fc6280f363c860
f6734f8177112c0839b961f96d813fcb189d81b60e96c33278c1983b6f419615
f75911313e1c7802c23345ab57e754d87801581706780c993fb23ff4e0fe62ef
fbc95447b2edce690825004670195e256dd9a0c613ebd98bc34ae9ba54245227
fd4c7a3d73783d5ace2d4e91644f61caf6e6309c8ae2c6e317a272c34972b25d