|
|
|
Jiulei Jiang, Panqing Zhang and Zhanyou Ma
Model checking is a formal automatic verification technology for complex concurrent systems. It is used widely in the verification and analysis of computer software and hardware systems, communication protocols, security protocols, etc. The generalized p...
ver más
|
|
|