Please use this identifier to cite or link to this item: https://hdl.handle.net/10356/72843
Full metadata record
DC FieldValueLanguage
dc.contributor.authorHu, Tsun Hao
dc.date.accessioned2017-11-27T01:23:30Z
dc.date.available2017-11-27T01:23:30Z
dc.date.issued2017
dc.identifier.urihttp://hdl.handle.net/10356/72843
dc.description.abstractThis 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.en_US
dc.format.extent32 p.en_US
dc.language.isoenen_US
dc.rightsNanyang Technological University
dc.subjectDRNTU::Engineering::Computer science and engineeringen_US
dc.titleProgram analysis and verificationen_US
dc.typeFinal Year Project (FYP)en_US
dc.contributor.supervisorLin Shang-Weien_US
dc.contributor.schoolSchool of Computer Science and Engineeringen_US
dc.description.degreeBachelor of Engineering (Computer Engineering)en_US
item.fulltextWith Fulltext-
item.grantfulltextrestricted-
Appears in Collections:SCSE Student Reports (FYP/IA/PA/PI)
Files in This Item:
File Description SizeFormat 
Final Year Project.pdf
  Restricted Access
Final Report534.94 kBAdobe PDFView/Open

Page view(s)

107
Updated on Dec 3, 2020

Download(s) 5

19
Updated on Dec 3, 2020

Google ScholarTM

Check

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