Formal Analysis of Smart Home Policies using Compositional Verification

Smart spaces contain a large number of computing devices communicating with each other to perform various high-order tasks. They are governed by predefined policies that users can put according to ...