UML design verification based on model checking techniques
The advance of embedded computing technologies makes our society increasingly depend on these systems, and the reliability of the systems becomes more and more important for our daily life. Against this background, we have been examining the application of model checking techniques to embedded s...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
ĐHCN
2016
|
| Subjects: | |
| Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/14460 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Vietnam National University, Hanoi |
| Language: | English |
| id |
oai:112.137.131.14:VNU_123-14460 |
|---|---|
| record_format |
dspace |
| spelling |
oai:112.137.131.14:VNU_123-144602020-06-26T07:34:55Z UML design verification based on model checking techniques Kishi, Tomoji UML Software verification The advance of embedded computing technologies makes our society increasingly depend on these systems, and the reliability of the systems becomes more and more important for our daily life. Against this background, we have been examining the application of model checking techniques to embedded software design verification, and also developing a tool to support UML design verification. In my talk, I will explain our approach and tool, then emphasize the necessity of developing modeling techniques for design verification. 2016-09-27T03:10:36Z 2016-09-27T03:10:36Z 2007 Article http://repository.vnu.edu.vn/handle/VNU_123/14460 en application/pdf ĐHCN |
| institution |
Vietnam National University, Hanoi |
| building |
VNU Library & Information Center |
| country |
Vietnam |
| collection |
VNU Digital Repository |
| language |
English |
| topic |
UML Software verification |
| spellingShingle |
UML Software verification Kishi, Tomoji UML design verification based on model checking techniques |
| description |
The advance of embedded computing technologies makes our
society increasingly depend on these systems, and the reliability of the
systems becomes more and more important for our daily life. Against this
background, we have been examining the application of model checking
techniques to embedded software design verification, and also developing
a tool to support UML design verification. In my talk, I will explain our
approach and tool, then emphasize the necessity of developing modeling
techniques for design verification. |
| format |
Article |
| author |
Kishi, Tomoji |
| author_facet |
Kishi, Tomoji |
| author_sort |
Kishi, Tomoji |
| title |
UML design verification based on model checking techniques |
| title_short |
UML design verification based on model checking techniques |
| title_full |
UML design verification based on model checking techniques |
| title_fullStr |
UML design verification based on model checking techniques |
| title_full_unstemmed |
UML design verification based on model checking techniques |
| title_sort |
uml design verification based on model checking techniques |
| publisher |
ĐHCN |
| publishDate |
2016 |
| url |
http://repository.vnu.edu.vn/handle/VNU_123/14460 |
| _version_ |
1680965616676110336 |