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
/
Projects
/
Scaling Formal Verification: Parallel Analysis of Functions
Back to Software and Computational Systems Lab at LMU Munich
GSoC 2023
Scaling Formal Verification: Parallel Analysis of Functions
Project details
Contributor
George Granberry
Mentors
Matthias Kettl
Technologies
Not listed in the archive