软件容错问题的计算机处理

摘要

本文提出一种软件容错技术－－反客为主法。主要讨论了此方法的形式化描述和在程序设计中的应用。