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
/
Reverse Program Synthesis for Backward Reachability Analysis in CPAchecker
Back to Software and Computational Systems Lab at LMU Munich
GSoC 2023
Reverse Program Synthesis for Backward Reachability Analysis in CPAchecker
Project details
Contributor
Jia Sun
Mentors
Po-Chun Chien
Technologies
Not listed in the archive