Software and Computational Systems Lab at LMU Munich
Algorithms and Tooling for Software Verification
GSoC Participation History
Technologies
Topics
Past Projects
Exporting and Validating Correctness Witnesses for Memory Safety in CPAchecker
Problem: CPAchecker lacks robust support for exporting and validating correctness witnesses for memory safety properties (null pointers, buffer...
Verifier Selection using LLMs
The growing use of large language models (LLMs) in code understanding has paved the way for significant advancements in software verification. In...
Timestamps in logs in BenchExec
This project aims to enhance the BenchExec benchmarking framework by resolving issues with output handling and log management. Key improvements...
CPA-Daemon: Behavior Driven Tests
CPA-Daemon is a microservice (currently gRPC service) for continuous verification of C programs with CPAchecker. Clients could craft gRPC requests...
Frequently Asked Questions
Software and Computational Systems Lab at LMU Munich | GSoC Org Profile & Stats - Learn about Software and Computational Systems Lab at LMU Munich's involvement in Google Summer of Code (GSoC), their technologies, detailed reports.
Participation
Projects
Top Programming Languages
Project Difficulty Distribution
No difficulty data available
Built with ❤️ for the Google Summer of Code (GSoC) open source community | © 2026 GSoCOrganizationsGuide