Technische Universitat Darmstadt, Germany;
Technische Universitat Darmstadt, Germany;
Technische Universitat Darmstadt, Germany;
机译:高效的分布式SAT和基于SAT的分布式有界模型检查
机译:通过模型检查在量子密码协议中进行窃听方法的模型库
机译:使用任务模型和误传生成模型检查人与人之间的通信协议
机译:关于模型检查消息传递分布式协议的高效模型
机译:一种高效的实时分布式计算中间件的模型,该模型结合了细粒度的程序段级别的基于期限的调度策略和基于有效检查点的复制方案。
机译:使用符号模型检查对监管网络的定性模型进行有效的参数搜索
机译:关于模型检查消息传递分布式协议的有效模型
机译:模型检查分布式文件系统的缓存一致性协议