机译:公告协议的符号模型检查
Univ Rennes CNRS IRISA F-35042 Rennes France;
epistemic logic; model checking; symbolic models; arbitrary public announcements;
机译:使用两个生物系统的概率符号模型检查器对膜计算生物模型进行模型检查科学出版物
机译:OFMC:安全协议的符号模型检查器
机译:Symbolic PathFinder:将符号执行与模型检查集成在一起,以进行Java字节码分析
机译:简短公告:使用对称约简的容错分布式协议的有效模型检查
机译:使用符号模型检查对化学过程进行事件建模和验证。
机译:使用符号模型检查对监管网络的定性模型进行有效的参数搜索
机译:符号模型使用约简检查承诺协议
机译:基于符号模型检验的大型模型可诊断性实用形式验证