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