Electronics and Computer Science, University of Southampton, UK;
Electronic and Information Research Center, Federal University of Amazonas, Brazil;
Electronics and Computer Science, University of Southampton, UK;
Electronics and Computer Science, University of Southampton, UK;
机译:使用有限跟踪对ANSI-C程序进行模型检查LTL属性
机译:基于SMT的嵌入式ANSI-C软件边界模型检查
机译:ESBMC-GPU一个上下文关联的模型检查工具,用于验证CUDA程序
机译:ANI-C软件的LTL属性的上下文界限模型检查
机译:基于状态建模和成分模型检查的软件产品线安全性分析
机译:ADAMMC:用于抵抗流动 - LTL的Petri网的模型检查器
机译:aNsI-C软件的LTL属性的上下文有界模型检查