Trojan horses; Hardware; Very large scale integration; Inspection; Security; Model checking;
机译:基于软件的自我测试,使用有限模型检查超出Unslard Superscalar处理器
机译:使用有界模型检查生成增量测试用例:自动评估的应用程序
机译:检查硬磨损测试的范围
机译:使用有限模型检查的小型木马测试
机译:硬件特洛伊木马通过结构检查检测
机译:模型检查通过测试在孟德尔随机化和转录组合协会研究中的直接效应
机译:术语级有界模型检查中的收敛性测试?
机译:术语水平有界模型检验中的收敛性检验