Please use this identifier to cite or link to this item: https://hdl.handle.net/10356/70469
Title: Program analysis and verification
Authors: Ong, Xuan Jie
Keywords: DRNTU::Engineering::Computer science and engineering
Issue Date: 2017
Abstract: This goal of this project is to develop techniques for analyzing 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 analyze and verify programs.
URI: http://hdl.handle.net/10356/70469
Rights: Nanyang Technological University
Fulltext Permission: restricted
Fulltext Availability: With Fulltext
Appears in Collections:SCSE Student Reports (FYP/IA/PA/PI)

Files in This Item:
File Description SizeFormat 
FYP.pdf
  Restricted Access
Main Article1.57 MBAdobe PDFView/Open

Page view(s) 50

84
checked on Oct 21, 2020

Download(s) 50

8
checked on Oct 21, 2020

Google ScholarTM

Check

Items in DR-NTU are protected by copyright, with all rights reserved, unless otherwise indicated.