GSoC Guide
GSoC 2026
Current
Organizations
Proposals
Progress blogs
Blog
Past editions
GSoC 2026
Current
Organizations
Proposals
Progress blogs
Blog
Past editions
GitHub
X
Toggle theme
Sign in
Organizations
/
Software and Computational Systems Lab at LMU Munich
/
Implementing backward bounded model checking in CPAchecker
Back to Software and Computational Systems Lab at LMU Munich
GSoC 2023
Implementing backward bounded model checking in CPAchecker
Project details
Contributor
Bas Laarakker
Mentors
Nian-Ze Lee
Technologies
Not listed in the archive