GSoC 2024
Support the generation of violation witness in graphML format in SPF
Project details
Contributor
Kunha Kim
Mentors
Yannic Noller, Elena Sherman, Soha Hussein
Technologies
Not listed in the archive
Contributor
Kunha Kim
Mentors
Yannic Noller, Elena Sherman, Soha Hussein
Not listed in the archive