CIRCUIT RELIABILITY; EMBEDDED COMPUTER SYSTEMS; FAULT TOLERANCE; MEMORY (COMPUTERS); MICROPROCESSORS; THEOREM PROVING; COMPUTER DESIGN; COMPUTER PROGRAMS; MATHEMATICAL LOGIC; SYSTEMS ANALYSIS;
机译:TRX:正式验证的解析器解释器
机译:对安全关键型可重配置模块中的容错能力进行形式验证
机译:用SystemC编写的系统级设计的组合反应语义以及带谓词抽象的形式验证
机译:类似于Shell的编程语言的经过正式验证的解释程序
机译:正式验证可信平台模块
机译:网络物理系统中控制模块的正式验证
机译:TRX:正式验证的解析器解释器