UROP Project Listing System
Project Title:
Software Verification Competition
Supervisor:LIN Fangzhen
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 

Copyright © 2016 HKUST. All rights reserved.