Skip to content

TOPIC

Verification

3 organizations list Verification as a topic. Together they took 68 accepted projects from 2016 to 2026.

In GSoC 2026

1

of 3 organizations

Contributors in 2026

2

0.2% of all slots

Projects since 2016

68

23 per organization

First cycle

2016

Latest 2026

Organizations

3

All cycles

Organizations listing Verification

Per cycle

  1. 2
  2. 1
View as table
Organizations listing Verification per cycle
Organizations
20162
20172
20182
20192
20202
20211
20221
20231
20241
20252
20261

Accepted projects at those organizations

Per cycle

  1. 15
  2. 2
View as table
Projects at organizations listing Verification per cycle
Projects
201615
201712
20187
201911
20208
20213
20222
20232
20243
20255
20262
2026 organizations listing Verification
OrganizationStack20262016–26CyclesProjectsSave
The JPF teamProgramming languages
AndroidJava+4211/1148
Earlier organizations listing Verification
OrganizationStack20262016–26CyclesProjectsSave
Checker FrameworkSecurityLast in 2025
JavaCompilers+3–5/1117
PRISM Model CheckerScience and medicineLast in 2016
JavaC++–1/115

Organizations count toward every topic they list. Participation history is not a prediction of selection. Official GSoC archive