Formal verification of dynamically reconfigurable systems
Ryo Yanase, Tatsunori Sakai, Makoto Sakai, Satoshi Yamane · 2015
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.