Department of Software Engineering, CWI P.O. Box 94079, 1090 GB Amsterdam, The Netherlands;
model checking; SDL; DTSpin; open communication systems; abstractions;
机译:代理人模型检查能力:近距离观察
机译:使用模型转换和模型检查来支持软件行为模型的自动包含检查
机译:软件模型检查专刊的序言:第20届国际SPIN软件模型检查研讨会论文选集
机译:关闭开放式SDL系统,用于使用DTSPIN进行模型检查
机译:将类型检查与模型检查相结合以进行系统验证
机译:使用彩色混合Petri网和模拟模型检查的空间群体感应建模
机译:关闭开放的SDL系统以使用DTSpin进行模型检查