Please use this identifier to cite or link to this item:
|Title:||Program analysis and verification||Authors:||Hu, Tsun Hao||Keywords:||DRNTU::Engineering::Computer science and engineering||Issue Date:||2017||Abstract:||This goal of this project is to develop techniques for analysing programs and verifying the correctness of them. In this project, it will cover basic knowledge about formal methods such as model checking. Based on the basic knowledge, you could develop efficient techniques to analyse and verify programs.||URI:||http://hdl.handle.net/10356/72843||Rights:||Nanyang Technological University||Fulltext Permission:||restricted||Fulltext Availability:||With Fulltext|
|Appears in Collections:||SCSE Student Reports (FYP/IA/PA/PI)|
Items in DR-NTU are protected by copyright, with all rights reserved, unless otherwise indicated.