Program analysis and verification

• Main Author: Ong, Xuan Jie
• Other Authors: Lin Shang-Wei
• Format: Final Year Project
• Language: English
• Published: 2017
• Subjects: DRNTU::Engineering::Computer science and engineering
• Online Access: http://hdl.handle.net/10356/70469
• Institution: Nanyang Technological University

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