111 citations · 240 across the 29 of their papers we have counts for
1 paper · 1 filter
Gopinadh Sirigineedi, Antonios Tsourdos, Brian A. White +1
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…