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