验证模型论文

基于SPIN的UML模型验证技术的研究
论文摘要统一建模语言(UnifiedModelingLanguage,UML)作为面向对象的分析与设计方法的代表,已经获得了广泛的关注和研究,并在多个领域中有成功的应用。然而,...
基于汇编语言的控制流错误检测算法研究
论文摘要随着集成电路的特征尺寸、供电电压和阈值电压的减少，处理器对串扰、电磁干扰以及粒子辐射等各种噪声干扰变得更加敏感，硬件瞬时故障导致的计算机系统可靠性问题日显突出。尤其在辐...
基于功能信息的验证工程学及若干验证技术研究
论文题目:基于功能信息的验证工程学及若干验证技术研究论文类型:博士论文论文专业:精密仪器及机械作者:张多利导师:高明伦关键词:功能验证,功能信息,验证工程学,过程模型,指令模板...