本资源包含 1 个源码文件 支持在线预览，点击文件名即可查看
温馨提示：点击文件名或"查看源码"按钮可在线浏览源代码，支持语法高亮显示。
资源详细信息
一种面向瞬时故障的容错技术的形式化方法 - 资源详细说明
软件发生瞬时故障时，可能会导致处理器状态改变，致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案，主要的方法是重复计算和检查副本的一致性。但是，生成正确的容错代码十分困难，而且几乎没有关于证明这些技术的正确性的研究。类型化汇编语言（TAL）是一种标准的程序安全性证明的方式。本文概述了一种面向瞬时故障的软硬结合的容错方法，以及对该方法的形式化方法，包括容错类型化汇编语言、类型系统和容错定理。形式化的目的是为了验证，只有通过验证的程序代码才是类型安全的。本文只简单介绍了程序的形式化方法。
一种面向瞬时故障的容错技术的形式化方法 - 源码文件列表
立即下载 一种面向瞬时故障的容错技术的形式化方法
提示：下载后请用压缩软件解压，推荐使用 WinRAR 或 7-Zip
下载说明与使用指南
下载说明
- 本资源需消耗 2积分
- 24小时内重复下载不扣分
- 支持断点续传功能
- 资源永久有效可用
使用说明
- 下载后使用解压软件解压
- 推荐使用 WinRAR 或 7-Zip
- 如有密码请查看资源说明
- 解压后即可正常使用
积分获取方式
- 上传优质资源获得积分
- 每日签到免费领取积分
- 邀请好友注册获得奖励
- 查看详情 →