Embedded and mobile system verification

• Main Author: Hu, Siyu
• 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/70449
• Institution: Nanyang Technological University

This report consolidates all the knowledge and skills that I have gained throughout my Final Year Project. In this project, I was tasked to verify Embedded and Mobile Systems using formal tools such as model-checking.