Sirigineedi, G.; Tsourdos, Antonios; Zbikowski, Rafal; White, B.
(2009-11-19)
Model checking has been used to verify the correctness of digital circuits, security protocols, communication
protocols, as they can be modelled by means of finite state transition model. However,
modelling the behaviour ...