Program analysis and verification
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 prog...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Final Year Project |
| Language: | English |
| Published: |
2017
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10356/70469 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Nanyang Technological University |
| Language: | English |
| id |
sg-ntu-dr.10356-70469 |
|---|---|
| record_format |
dspace |
| spelling |
sg-ntu-dr.10356-704692023-03-03T20:40:13Z Program analysis and verification Ong, Xuan Jie Lin Shang-Wei School of Computer Science and Engineering DRNTU::Engineering::Computer science and engineering 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. Bachelor of Engineering (Computer Engineering) 2017-04-25T01:01:33Z 2017-04-25T01:01:33Z 2017 Final Year Project (FYP) http://hdl.handle.net/10356/70469 en Nanyang Technological University 25 p. application/pdf |
| institution |
Nanyang Technological University |
| building |
NTU Library |
| continent |
Asia |
| country |
Singapore Singapore |
| content_provider |
NTU Library |
| collection |
DR-NTU |
| language |
English |
| topic |
DRNTU::Engineering::Computer science and engineering |
| spellingShingle |
DRNTU::Engineering::Computer science and engineering Ong, Xuan Jie Program analysis and verification |
| description |
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. |
| author2 |
Lin Shang-Wei |
| author_facet |
Lin Shang-Wei Ong, Xuan Jie |
| format |
Final Year Project |
| author |
Ong, Xuan Jie |
| author_sort |
Ong, Xuan Jie |
| title |
Program analysis and verification |
| title_short |
Program analysis and verification |
| title_full |
Program analysis and verification |
| title_fullStr |
Program analysis and verification |
| title_full_unstemmed |
Program analysis and verification |
| title_sort |
program analysis and verification |
| publishDate |
2017 |
| url |
http://hdl.handle.net/10356/70469 |
| _version_ |
1759853998972600320 |