News
- 2019-02-28
SoSy-Lab was once again selected as an organization of Google Summer of Code.
Students can apply from March 25 to April 9, 2019 - get into contact now! (General Information, Possible projects) - 2019-02-28
Our tool CPAchecker defended the title: it wins category Overall and 6 more medals in the 8th Competition on Software Verification (SV-COMP'19).
- 2018-05-04
Our tool CPAchecker wins category Overall and 5 more medals in the 7th Competition on Software Verification (SV-COMP'18).
- 2018-02-27
SoSy-Lab was selected as an organization for the Google Summer of Code and will mentor two students working on the CPAchecker project.