Embedded and mobile system verification
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.
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Final Year Project |
| Language: | English |
| Published: |
2017
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10356/70449 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Nanyang Technological University |
| Language: | English |
| id |
sg-ntu-dr.10356-70449 |
|---|---|
| record_format |
dspace |
| spelling |
sg-ntu-dr.10356-704492023-03-03T20:55:33Z Embedded and mobile system verification Hu, Siyu Lin Shang-Wei School of Computer Science and Engineering DRNTU::Engineering::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. Bachelor of Engineering (Computer Engineering) 2017-04-24T08:09:24Z 2017-04-24T08:09:24Z 2017 Final Year Project (FYP) http://hdl.handle.net/10356/70449 en Nanyang Technological University 108 p. application/pdf |
| institution |
Nanyang Technological University |
| building |
NTU Library |
| continent |
Asia |
| country |
Singapore Singapore |
| content_provider |
NTU Library |
| collection |
DR-NTU |
| language |
English |
| topic |
DRNTU::Engineering::Computer science and engineering |
| spellingShingle |
DRNTU::Engineering::Computer science and engineering Hu, Siyu Embedded and mobile system verification |
| description |
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. |
| author2 |
Lin Shang-Wei |
| author_facet |
Lin Shang-Wei Hu, Siyu |
| format |
Final Year Project |
| author |
Hu, Siyu |
| author_sort |
Hu, Siyu |
| title |
Embedded and mobile system verification |
| title_short |
Embedded and mobile system verification |
| title_full |
Embedded and mobile system verification |
| title_fullStr |
Embedded and mobile system verification |
| title_full_unstemmed |
Embedded and mobile system verification |
| title_sort |
embedded and mobile system verification |
| publishDate |
2017 |
| url |
http://hdl.handle.net/10356/70449 |
| _version_ |
1759854912626229248 |