No Title

Next: Contents

User Manual
A Framework for The Synthesis of Fault-Tolerant Programs

$\begin{doublespace}By\\ % ALI EBNENASIR\\ [2.5 in] % \end{doublespace}$
Michigan State University

$\begin{doublespace}Computer Science and Engineering Department\\ 2003\\ % \end{doublespace}$

Acknowledgements

$\begin{doublespace}Thanks to Arun Chippada for coding of part of the implementation as his Master's project. \end{doublespace}$

Contents
List of Tables
List of Figures
Introduction
Overview
Specifying The Fault-Intolerant Programs
- Syntax and Semantics
- The Specification of Agreement Program
  - The Description of The Input File
Input Translator
Framework Instantiation
Supervised Synthesis
- Applying Heuristics
Bibliography
About this document ...

Ali Ebnenasir
2003-10-26