|
Formal verification of dynamically reconfigurable systemsFormal verification of dynamically reconfigurable systems |
"/Yanase, Ryo/"Yanase, Ryo ,
"/Sakai, Tatsunori/"Sakai, Tatsunori ,
"/Sakai, Makoto/"Sakai, Makoto ,
"/Yamane, Satoshi/"Yamane, Satoshi
GCCE 2015
(
7398597
)
, pp.71
-
75 , 2016-02-03 , Institute of Electrical and Electronics Engineers Inc.
ISBN:978-147998751-1
内容記述
A dynamically reconfigurable system can perform complicated operations with dynamically changing the configuration. For ensuring the safety of the system, a model checking is one of the efficient formal approach. In our work, we define the specification language of a dynamically reconfigurable system and propose the model checking algorithm of verifying safety properties. © 2015 IEEE.
本文を読む
https://kanazawa-u.repo.nii.ac.jp/?action=repository_action_common_download&item_id=9248&item_no=1&attribute_id=26&file_no=1