机译:基于阈值的分布式算法的有界模型检查的完整性:可达性
TU Wien (Vienna University of Technology), Austria;
TU Wien (Vienna University of Technology), Austria;
TU Wien (Vienna University of Technology), Austria;
Model checking; Fault-tolerant distributed algorithms; Byzantine faults; Computational models;
机译:高效的分布式SAT和基于SAT的分布式有界模型检查
机译:基于分布式磁盘的算法,用于检查超大型马尔可夫链
机译:基于BDD相对于SAT的有界模型检验知识的线性时态逻辑存在性片段:算法及其性能
机译:基于阈值的分布式算法的边界模型检查的完整性:可达性
机译:符号模型检查中的高效可达性算法。
机译:智能破译难以理解的设计:系统生物学中的算法代数模型检查
机译:基于阈值的分布式算法的边界模型检查的完整性:可达性
机译:验证分布式算法的软件模型检验。