Bouguerra, Bilal2018-01-302018-01-302017http://dspace.univ-msila.dz:8080//xmlui/handle/123456789/1809Technology has become a necessity in our daily lives through constant communication between individuals or objects, especially with the rise of Internet of Things (IoT). Wireless networks are the most prevalent today. In this thesis, we study wireless sensor networks, which are a set of sensors that are used to transport or follow a physical phenomenon, and then transfer the information about this phenomenon wirelessly to the data processing center. However, there are still many problems experienced by the wireless sensor network. They include low reliability for wireless communication systems, limited power availability, contract failure, etc. Through this work, we try to implement a formal analysis model in PRISM-games based on a collaborative game theory to reduce energy consumption.frthe Verification Internet of Things (IoT) Technologies PRISM Model CheckerThesis