GSoC Organizations
Clear all filters
Shortcuts
First-time organizations (16)
View all
Years
2026
2025
2024
2023
2022
2021
View all
Categories
Artificial Intelligence
Data
Development tools
End user applications
Infrastructure and cloud
Media
View all
Technologies
python (279)
javascript (224)
c++ (160)
c (132)
java (102)
database (75)
View all
Topics
web (119)
data (83)
artificial intelligence (78)
machine learning (68)
developer tools (63)
science (63)
View all
Software and Computational Systems Lab at LMU Munich
View the official
contribution guidelines
for Software and Computational Systems Lab at LMU Munich
Visit Site
Algorithms and Tooling for Software Verification
Category
Programming languages
Years
2025
2024
2023
2019
2018
Technologies
java
python
Quarkus
api
grpc
javascript
Topics
SAT & SMT solving
benchmarking
formal methods
program analysis
software verification
cloud
Past Projects
2025
2024
2023
2019
2018
Verifier Selection using LLMs
Patrik Felbinger
This project developed a machine-learning framework to predict the most effective software verifier for a given C program – trained on the Software...
More Details
Code Submission
CPA-Daemon: Behavior Driven Tests
Wenyi Shi
CPA-Daemon is a microservice (currently gRPC service) for continuous verification of C programs with CPAchecker. Clients could craft gRPC requests...
More Details
Code Submission
