学術雑誌論文 Formal verification of dynamically reconfigurable systems

Yanase, Ryo  ,  Sakai, Tatsunori  ,  Sakai, Makoto  ,  Yamane, Satoshi

2015 IEEE 4th Global Conference on Consumer Electronics
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.
本文を読む

http://dspace.lib.kanazawa-u.ac.jp/dspace/bitstream/2297/45586/1/TE-PR-YANASE-R-71.pdf

このアイテムのアクセス数：  回

金沢大学学術情報リポジトリKURA
実行

その他の情報