| 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 |
| |
|
