摘要
摘要
AAE04型 容错并发程序的综合 ACM Trans程序语言系统（TOPLAS） 2004 26 1 125 185 10.1145/963778.963782 1333.68080 谷歌学者 
数字图书馆 
AB08公司 Abdelouahab Z，Braga RI（2008）自适应列车交通控制器。 In：自适应列车交通控制器。 荷兰施普林格，第550-555页 谷歌学者 ABK04公司 Aminof B，Ball T，Kupferman O（2004）《关于具有过渡公平性的系统的推理》。 收录于：Baader F，Voronkov A（eds）Logic for programming，artificial intelligence，and reasoning，第11届国际会议，LPAR 2004，计算机科学讲稿第3452卷，第194-208页。 施普林格 谷歌学者 阿布06 Abrial J-R（2006）。 列车系统。 作者：Butler MJ，Jones CB，Romanovsky A，Troubitsynalena（eds）复杂容错系统的严格开发[FP6 IST-511599 RODIN项目]，RODIN Book，计算机科学讲义第4157卷，第1-36页。 施普林格 谷歌学者 阿布10 事件B系统建模与软件工程 2010 剑桥 剑桥大学出版社 10.1017/CBO9781139195881 1213.68214 谷歌学者 AG93型 封闭与收敛：容错计算的基础 IEEE Trans软件工程 1993 19 11 1015 1027 10.1109/32.256850 谷歌学者 数字图书馆 AK98a公司 基于组件的多容性系统设计 IEEE跨软件工程 1998 24 1 63 78 10.1109/32.663998 谷歌学者 数字图书馆 98b瑞典克朗 Arora A，Kulkarni SS（1998）探测器和校正器：容错组件理论。 摘自：第18届分布式计算系统国际会议，ICDCS 1998，第436–443页。 IEEE计算机学会 谷歌学者 Avi95公司 Avizienis AA（1995）软件容错，第2卷，N版本编程方法论一章，第22-45页。 威利 谷歌学者 BB06公司 Banach R、Bozzano M（2006），《收缩和静态、动态和循环系统故障树的生成》。 摘自：《计算机安全、可靠性和安全》，第25届国际会议，2006年9月27日至29日，波兰格但斯克，SAFECOMP 2006，会议记录，第127-141页 谷歌学者 BC04号机组 Banach R，Cross R（2004）《使用紧缩的安全要求和故障树》。 摘自：2004年9月21日至24日在德国波茨坦举行的2004年SAFECOMP第23届国际会议《计算机安全、可靠性和安全》，会议记录，第210-223页 谷歌学者 BFG02型 模型检查容错系统 软件测试验证可靠性 2002 12 4 251 275 10.1002/stvr.258号 谷歌学者 交叉引用 
BK88型 与行动系统的分布式合作 ACM传输程序语言系统 1988 10 4 513 554 10.1145/48022.48023 663.68028 谷歌学者 数字图书馆 BK08（黑色08） 模型检查原则 2008 剑桥 麻省理工学院出版社 1179.68076 谷歌学者 数字图书馆 8号气缸组 Bonakdarpour B（2008）分布式实时程序的自动修订。 密歇根州立大学博士论文 谷歌学者 BP98标准 Banach R，Poppleton M（1998）《退刀：精炼的工程变化》。 摘自：B'98：B方法开发和使用的最新进展，第二届国际B会议，1998年4月22日至24日，法国蒙彼利埃，会议记录，第129-147页 谷歌学者 BP99型 Banach R，Poppleton M（1999），收缩和穿孔模拟。 In：综合形式方法，第一届综合形式方法国际会议记录，IFM 99，英国约克，1999年6月28日至29日，第457–476页 谷歌学者 业务流程图07 紧缩的工程和理论基础 科学计算程序 2007 67 2-3 301 329 2016年10月10日/j.scico.2007.04.002 1119.68348 2337111 谷歌学者 数字图书馆 Bra06系列 Braun B（2006）实现容错的自动添加和验证。 亚琛RWTH大学硕士论文 谷歌学者 英国标准07 Bradfield J，Stirling C（2007），12模态微积分。 收录于：Van Benthem J、Blackburn P、Wolter F（eds）《模态逻辑手册》，逻辑和实践推理研究第3卷，第721-756页。 爱思维尔 谷歌学者 CKAA11公司 Castro-PF、Kilmurray C、Acosta A、Aguirre N（2011）dCTL：容错系统验证的分支时间时序逻辑。 收录：Barthe G、Pardo A、Schneider G（编辑）软件工程与正式方法第九届国际会议，SEFM 2011，计算机科学讲义第7041卷，第106-121页。 施普林格 谷歌学者 第99级 模型检查 1999 剑桥 麻省理工学院出版社 谷歌学者 数字图书馆 CM89型 Chandy KM，Misra J（1989）《并行程序设计——基础》。 Addison-Wesley，阅读 谷歌学者 CM09公司 道义逻辑，与责任推理和容错相反 计算机科学电子笔记 2009 258 2 17 34 2016年10月10日/j.entcs.2009.12.011 1294.03019 谷歌学者 数字图书馆 85号铬 容错编程的严格方法 IEEE Trans软件工程 1985 11 1 23 31 10.1109/TSE.1985.231534号 谷歌学者 数字图书馆 DCMA13a公司 Demasi R，Castro PF，Maibaum TSE，Aguirre N（2013）通过仿真关系表征容错系统。 在：Johnsen EB，Petre L（eds）综合正式方法，第10届国际会议，IFM 2013，《计算机科学讲义》第7940卷，第428–442页。 施普林格 谷歌学者 DCMA13b公司 Demasi R、Castro PF、Maibaum TSE、Aguirre N（2013）《从道义规范合成屏蔽容错系统》。 在：Van Hung D，Ogawa M（编辑）第11届国际研讨会，ATVA 2013，《计算机科学讲义》第8172卷，第163–177页。 施普林格 谷歌学者 DCR+15 Demasi R、Castro PF、Ricci N、Maibaum TSE、Aguirre N（2015）syntmaskft：一种从道义规范合成屏蔽容错程序的工具。 在：系统构建和分析的工具和算法-第21届国际会议，TACAS 2015，作为欧洲软件理论和实践联席会议的一部分举行，ETAPS 2015，2015年4月11日至18日，英国伦敦。 会议记录，第188-193页 谷歌学者 迪克76 编程的一门学科 1976 恩格尔伍德克利夫斯 Prentice-Hall公司 368.68005 谷歌学者 数字图书馆 EC80标准 Emerson EA，Clarke EM（1980）使用定点描述并行程序的正确性属性。 收录：de Bakker JW，van Leeuwen J（eds）Automata，语言与编程，第7次学术讨论会，ICALP 1980，计算机科学讲稿第85卷，第169-181页。 施普林格 谷歌学者 EH86型 重温“有时”与“不永远”：分支与线性时间时序逻辑 美国临床医学杂志 1986 33 1 151 178 10.1145/4904.4999 629.68020 820103 谷歌学者 数字图书馆 EL09级 Ezekiel J，Lomuscio A（2009）结合故障注入和模型检查来验证多代理系统中的容错性。 参见：Sierra C、Castelfranchi C、Decker KS、Sichman JS（eds）第八届自主代理和多代理系统国际联合会议，AAMAS 2009，第113-120页。 国际会计师联合会 谷歌学者 FH07型 观测容错理论 J Log Algebr程序 2007 73 1-2 22 50 2016年10月10日/j.jlap.2007.03.003 1123.68080 2348142 谷歌学者 交叉引用 FMR07（FMR07） French T，McCabe-Dansted JC，Reynolds M（2007）《稳健性的时序逻辑》。 摘自：联合系统的前沿，第六届国际研讨会，2007年9月10日至12日，英国利物浦，FroCoS 2007，Proceedings，第193–205页 谷歌学者 盖尔99 异步环境中的容错分布式计算基础 ACM计算监视 1999 31 1 26 2014年10月14日/11531311532 谷歌学者 数字图书馆 加纳90 Guiho GD，Hennebert C（1990）SACEM软件验证（经验报告）。 收录：Valette F-R，Freeman PA，Gaudel M-C（eds）《第12届软件工程国际会议论文集》，ICSE 1990，第186-191页。 IEEE计算机学会 谷歌学者 GJM03 Ghezzi C、Jazayeri M、Mandrioli D（2003）《软件工程基础》，第2版。 英格伍德悬崖普伦蒂斯·霍尔 谷歌学者 HHK95型 Henzinger MR，Henzinger TA，Kopke PW（1995）有限和无限图的计算模拟。 摘自：第36届计算机科学基础年会，FOCS 1995，第453-462页。 IEEE计算机学会 谷歌学者 1995年1月 Janowski T（1995）《互模拟和容错》。 英国华威大学博士论文 谷歌学者 1997年1月 Janowski T（1997）关于互模拟、容错性和可证明容错性。 摘自：Johnson M（ed）代数方法和软件技术，第六届国际会议，AMAST 1997，计算机科学讲稿第1349卷，第292-306页。 施普林格 谷歌学者 JHAL09公司 Jeffords RD、Heitmeyer CL、Archer M、Leonard EI（2009）使用部分细化和组合开发可证明正确的容错系统的正式方法。 收录于：Cavalcanti A，Dams D（eds）Formal methods，第二届世界大会，FM 2009，计算机科学讲稿第5850卷，第173-189页。 施普林格 谷歌学者 JHAL10公司 使用组合和部分细化的关键系统的基于模型的构造和验证 形式化方法系统设计 2010 37 2-3 265 294 2007年10月10日/10703-010-0106-9 1209.68321 谷歌学者 数字图书馆 拉丁美洲90 Lee PA，Anderson T（1990）《容错：原理与实践》，第2版。 斯普林格，塞考克斯 谷歌学者 Lam85灯 并发中已解决的问题、未解决的问题和非问题 操作系统版本 1985 19 4 34 44 10.1145/858336.858339 谷歌学者 数字图书馆 Lam94灯 行动的时间逻辑 ACM传输程序语言系统 1994 16 三 872 923 10.1145/1777492.177726年 谷歌学者 数字图书馆 LSP82号 拜占庭将军问题 ACM传输程序语言系统 1982 4 三 382 401 10.1145/357172.357176 483.68021 谷歌学者 数字图书馆 MC80型 Mead C，Conway L（1980）超大规模集成电路系统简介。 Addison-Wesley，阅读 谷歌学者 89百万 Milner R（1989）通信与并发。 计算机科学PHI系列。 上鞍河普伦蒂斯·霍尔 谷歌学者 MT01型 Manolios P，Trefler RJ（2001）分支时间的安全性和活性。 摘自：2001年6月16日至19日在美国马萨诸塞州波士顿举行的第16届IEEE计算机科学逻辑年会，会议记录，第366–374页 谷歌学者 PR89型 Pnueli A，Rosner R（1989）关于反应性模块的合成。 摘自：第十六届ACM编程语言原理年度研讨会，POPL 1989，第179-190页。 美国计算机协会出版社 谷歌学者 PS05标准 自稳定程序的形式化设计 J高速网络 2005 14 1 59 83 谷歌学者 数字图书馆 第98节 Schneider F、Easterbrook SM、Callahan JR、Holzmann GJ（1998）《使用模型检查验证容错系统的要求》。 参见：第三届需求工程国际会议，ICRE 1998，第4-13页。 IEEE计算机学会 谷歌学者 98春夏 Siewiorek DP，Swarz RS（1998）《可靠的计算机系统》，第3版：设计与评估。 A.K.Peters有限公司，Natick 谷歌学者 TP00型 Torres-Pomales W（2000）《软件容错：教程》。 技术报告，NASA技术备忘录TM-2000-210616 谷歌学者 YTK01年 Yokogawa T，Tsuchiya T，Kikuno T（2001）使用模型检查的容错自动验证。 摘自：第八届环太平洋地区可靠计算国际研讨会，PRDC 2001，第95-102页。 IEEE计算机学会 谷歌学者
建议
利用无任务容错设计屏蔽容错 SRDS’95：第14届可靠分布式系统研讨会论文集 屏蔽容错可以确保程序在出现错误时持续满足其规范。 相比之下，无任务容错并不能保证这么多：它只是保证当错误停止发生时，程序。。。 自主航天器容错验证的形式化方法 FTCS’96：第二十六届容错计算国际研讨会（FTCS’1996）会议记录 新一代航天器设计面临的主要挑战之一是需要提高自主运行能力，特别是在出现异常事件时。 形式化方法在……中越来越被接受。。。
