UROP Project Listing System
 
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 
 



Copyright © 2016 HKUST. All rights reserved.