DiVinE:并行分布式模型检查器| IEEE会议出版物| IEEE Xplore