next up previous contents
Next: Contents

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

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

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

{\large\copyright\ Copyrig...
...2 \ by Ali Ebnenasir \\ All Rights Reserved}

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


Ali Ebnenasir