Abstract: Ordinary users can build their smart home automation system easily nowadays, but such user-customized systems could be error-prone. Using formal verification to prove the correctness of such ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results