Contents

• 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
  • Generating The Program State
  • Generating The Fault-Intolerant Program
  • Generating The Faults
  • Generating The Invariant
  • Generating The Safety Specification
  • Generating The Initial States
  • Generating The Output Generator
• Framework Instantiation
• Supervised Synthesis
  • Applying Heuristics
• Bibliography