Software engineering; Computer program verification; Mathematical models; Computer program reliability; Symbolic programming;
机译:符号模型验证程序SMV的更多图像计算
机译:基于模型的知识系统验证:一个案例研究
机译:程序验证,自动调试和符号计算前言专刊
机译:SMAP上行链路的模型验证和验证处理模型的基于模型的开发方法和用于航空航天系统软件的自动验证
机译:基于模型的新型模糊控制技术的研究及其验证。
机译:临床实践指南模型中完整性验证的后果:高血压的理论和实证研究
机译:使用符号模型验证器(SMV)进行基于模型的验证中的实践问题的研究