DEIB - Politecnico di Milano, Milan, Italy;
Chalmers University of Technology, Gothenburg, Sweden,University of Gothenburg, Gothenburg, Sweden;
Kennesaw State University, Marietta, Georgia;
University of Illinois at Chicago, Chicago, USA;
DEIB - Politecnico di Milano, Milan, Italy;
机译:交错多主体系统上模型检查时间流行病逻辑的偏序约简
机译:证明辅助的软件和系统模型的有界和无界符号模型检查
机译:使用部分订单模型进行定点逻辑的模型检查游戏
机译:从模型检查到部分模型的时间证明
机译:使用对象约束语言的时间扩展进行模型检查UML设计。
机译:使用伪3D时空模型检查自动验证计算模型
机译:走向偏序约简,用于模型检验时间认知逻辑
机译:切换模型的时态优先级检验及其在并行着陆协议中的应用