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: | Ong, Xuan Jie |
---|---|
Other Authors: | Lin Shang-Wei |
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 |
Similar Items
-
Program analysis and verification
by: Hu, Tsun Hao
Published: (2017) -
Augmenting static program analysis and design verification with pattern recognition
by: Sun, Ding
Published: (2014) -
Automatic program analysis and verification and their applications in smart contracts
by: Jiao, Jiao
Published: (2021) -
Robust speaker verification
by: Nguyen, Manh Cuong
Published: (2014) -
Embedded and mobile system verification
by: Hu, Siyu
Published: (2017)