In the early stages of system development, model checking is a good practice for
examining the WSNs (Wireless Sensor Networks). Model checking involves verifying
a system\'s properties based on the system\'s finite state model. For varying applications
like computers and wireless communication prior to expensive simulations, model
checking has become a vital requirement in order to investigate the performance and
reliability. In this paper for the first time, we are presenting probabilistic and hybrid
model checking tools which are being implemented to analyse and verify the WSN
applications and their examples. Here we are categorizing the model checking tools
and presenting how they have been used for the investigation of various behaviours of
WSN solutions. Consequently, this paper helps readers/researchers to choose the
appropriate model checking tool and to get benefited in shape of validating their
solutions. The paper has also highlighted the problems of existing model checking
tools within WSN domain