Software and Computational Systems Lab at LMU Munich
Programming languagesAlgorithms and Tooling for Software Verification
Get involved
Links from the organization’s published listing (2025). Older contact links may have moved.
Programs & participation
5 records across 1 programIndexed project records; missing years are not zero. Coverage
2025Google Summer of CodeAnnual program · 2 projects indexed
Source checked Sep 28, 2026
Participation imported from the GSoC Organizations archive snapshot; this historical listing is not an application-status claim.
2024Google Summer of CodeAnnual program · 3 projects indexed
- Adaptive Algorithm Selection for Btor2 Verification Tasks
- Extending PJBDD with CESRBDDs: BDDs with Complemented Edges and Edge-Specified Reductions
- Overlay Handling with fuse-overlayfs
Source checked Sep 28, 2026
Participation imported from the GSoC Organizations archive snapshot; this historical listing is not an application-status claim.
2023Google Summer of CodeAnnual program · 4 projects indexed
- Implementing backward bounded model checking in CPAchecker
- Integrating the SMT solver dReal to the framework JavaSMT
- Reverse Program Synthesis for Backward Reachability Analysis in CPAchecker
- Scaling Formal Verification: Parallel Analysis of Functions
Source checked Sep 28, 2026
Participation imported from the GSoC Organizations archive snapshot; this historical listing is not an application-status claim.
2019Google Summer of CodeAnnual program · 2 projects indexed
- Design and Create CLion plugin for CPAchecker execution
- Implement Cache Allocation Technology in BenchExec
Source checked Sep 28, 2026
Participation imported from the GSoC Organizations archive snapshot; this historical listing is not an application-status claim.
2018Google Summer of CodeAnnual program · 1 project indexed
Source checked Sep 28, 2026
Participation imported from the GSoC Organizations archive snapshot; this historical listing is not an application-status claim.