@article{oai:kanazawa-u.repo.nii.ac.jp:00009248,
 author = {Yanase, Ryo and Sakai, Tatsunori and Sakai, Makoto and Yamane, Satoshi},
 issue = {7398597},
 journal = {2015 IEEE 4th Global Conference on Consumer Electronics},
 month = {Feb},
 note = {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.},
 pages = {71--75},
 title = {Formal verification of dynamically reconfigurable systems},
 volume = {GCCE 2015},
 year = {2016}
}