Organizations listing Software verification
Per cycle
View as table
| Organizations | |
|---|---|
| 2016 | 0 |
| 2017 | 0 |
| 2018 | 1 |
| 2019 | 1 |
| 2020 | 0 |
| 2021 | 0 |
| 2022 | 0 |
| 2023 | 1 |
| 2024 | 1 |
| 2025 | 1 |
| 2026 | 0 |
TOPIC
Software verification
1 organization list Software verification as a topic. Together they took 14 accepted projects from 2018 to 2025.
In GSoC 2026
0
of 1 organizations
Contributors in 2026
0
0.0% of all slots
Projects since 2016
14
14 per organization
First cycle
2018
Latest 2025
Organizations
1
All cycles
Accepted projects at those organizations
Per cycle
View as table
| Projects | |
|---|---|
| 2016 | 0 |
| 2017 | 0 |
| 2018 | 1 |
| 2019 | 2 |
| 2020 | 0 |
| 2021 | 0 |
| 2022 | 0 |
| 2023 | 4 |
| 2024 | 3 |
| 2025 | 4 |
| 2026 | 0 |
| Organization | Stack | 2026 | 2016–26 | Cycles | Projects | Save |
|---|---|---|---|---|---|---|
| – | 5/11 | 14 |
Organizations count toward every topic they list. Participation history is not a prediction of selection. Official GSoC archive