Project Title: | Software Verification Competition |
Supervisor: | LIN Fangzhen |
Co-Supervisor: | - |
Quota: | 2 |
Project Description: | To participate in a project that will compete in the annual software competition https://sv-comp.sosy-lab.org/2016/ |
Course type: | UROP1100 |
Applicant's Roles: | Various, from coding to theory |
Applicant's Learning Objectives: | will learn logic, program language theory, theorem proving, software verification |
Complexity of the project: | Challenging |
|
|