Model Checking Instance Based on NuSMV.

Ninglin Xu, Zhanyou Ma, Jiulei Jiang, Panqing Zhang

Browse the full UIC paper archive.