News
- 2019-07-12
The DFG research training group ConVeY started on July 1st. The kick-off meeting was on July 12.
- 2019-05-06
We welcome Aditya Arora, Saheed Bolarinwa, and Tharsanan Kurukulasingam, who will be working with us this summer on exciting projects for BenchExec, JavaSMT, and CPAchecker. Read about their projects on our Google Summer of Code page.
- 2019-04-17
The paper SecCSL: Security Concurrent Separation Logic by Gidon Ernst (joint work with Toby Murray) was accepted at CAV'19.
Paper Draft,
Website: SecC.
- 2019-04-09
Publication on CoVeriTest: Cooperative Verifier-Based Testing by Dirk Beyer and Marie-Christine Jakobs at FASE'19! Marie-Christine's presentation is a must: Thursday, 11th April, at 16:30, room Jupiter.
- 2019-04-09
Slides to the ETAPS'19 tutorial on Software Verification: "An Overview of the State of the Art" are available here.
- 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.