What powers sosy-lab.org?
Last seen Jun 2026 · 5 technologies across 5 categories
Analytics
Matomo Analytics
since Jul 2022
Hosting
GoDaddy
since Aug 2022
Security
HSTS
since Sep 2022
Web servers
Apache HTTP Server
since Jan 2019
Webmail
Google Workspace
since Aug 2022
Top search keywords
| Keyword | Position | Est. monthly visits |
|---|---|---|
| sosy | #4 | 6 |
| witness testing | #85 | 1 |
| witness check | #6 | 1 |
| benchmark papers | #67 | 0 |
| witness test | #72 | 0 |
| blastx software | #20 | 0 |
| boolean software | #91 | 0 |
| chickens and pigs in scrum | #38 | 0 |
| conditional tests | #15 | 0 |
| conditional testing | #10 | 0 |
| condition testing | #79 | 0 |
| condition checking | #53 | 0 |
| condition checking | #23 | 0 |
| cpu power meter | #16 | 0 |
| cpu power meter | #16 | 0 |
| tool blast | #31 | 0 |
| verification coverage | #85 | 0 |
| arch-comp | #38 | 0 |
| scrum pigs chickens | #46 | 0 |
| so sy | #22 | 0 |
| stephan munich | #39 | 0 |
| pigs and chickens in scrum | #50 | 0 |
| pdr software | #27 | 0 |
| lee ze | #21 | 0 |
| gsoc sans | #33 | 0 |
The site's top keywords in Google (US), with the visits each one is estimated to bring per month.
Top backlinks
Top links pointing at the site, one per source domain, strongest first. The anchor text opens the page carrying the link.
Open Page Rank
5.37 / 10 · ranked #175,462 of all domains
137 referring domains · OpenPageRank
Search traffic
8 est. monthly organic visits (US)
28 keywords in Google's top 30
Subdomains
| Host | Techs |
|---|---|
| cpachecker.sosy-lab.org | 5 |
| sv-comp.sosy-lab.org | 5 |
| test-comp.sosy-lab.org | 5 |
| www.sosy-lab.org | 5 |