下载地址：
下载地址1（本站为飞网专业下载站，域名：down.cfei.net）
资源简介：
实时系统的设计对系统设计人员而言是一个巨大挑战。在缺乏严格的验证环境时, 要避免设计错误是很困难的。本文将一种带时戳的时序逻辑及用于描述具体实时系统的时间变迁系统编码到HOL 定理证明器中, 并实现了一个基本的规则策略库, 从而实现了一个简单的交互式辅助验证环境LRP。实例Fisher 算法的互斥性在IRP 中得到了验证。
飞网下载站，免费下载共享资料，内容涉及教育资源、专业资料、IT资源、娱乐生活、经济管理、办公文书、游戏资料等。
