Formal Verification of Firmware-Based System-on-Chip Modules

机译：多处理器片上系统的模型和形式验证

机译：对安全关键型可重配置模块中的容错能力进行形式验证

机译：相对正式LUBIN-TATE组的正式模块

机译：使用正式模型来改进对高速缓存一致性片上系统的验证

机译：正式验证可信平台模块

机译：网络物理系统中控制模块的正式验证

机译：正式的片上系统验证中硬件和与硬件相关的软件的组成属性集的覆盖范围

机译：处理器 - memorymodule的形式验证中的解释器组合问题

机译：验证支持设备和用于软件定义的网络环境中的网络服务链的正式验证的方法，以及具有验证支持设备的正式验证设备

机译：用于数据处理器中的形式化验证的方法包括：使用信号包络的一个限制执行验证算法，并使用验证算法限制状态空间搜索

机译：正式和非正式的组合电路验证