next up previous contents
Next: Syntax and Semantics Up: No Title Previous: Overview

Specifying The Fault-Intolerant Programs

In this chapter, we describe the syntax and the semantics of the input language by which developers of fault-tolerance specify the fault-intolerant program, its invariant, its specification, and the faults. The framework generates the output in the same language.


Ali Ebnenasir