33 citations · 33 across the 1 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…