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...

Full description

Saved in:
Bibliographic Details
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