News
- 2019-09-16
Paper Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions accepted for presentation at DaLi 2019.
- 2019-08-03
Paper Conditional Testing: Off-the-Shelf Combination of Test-Case Generators accepted for presentation at ATVA 2019.
- 2019-07-26
Registration for the 4th International Workshop on CPAchecker on 1st and 2nd Oct. is open! It will be held on the island Frauenchiemsee near Munich, Germany. Participation is open to everbody!
Registration via Google form, open until 8th August. - 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).