Embedded and mobile system verification
Date of Issue2017-04-24
School of Computer Science and Engineering
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.
DRNTU::Engineering::Computer science and engineering
Final Year Project (FYP)
Nanyang Technological University