Chris Johnson, Index

---

Software Fault Trees
Leveson, N.G., Cha, S.S., Shimeall, T.J. ``Safety Verification of Ada Programs using Software Fault Trees,'' IEEE Software, July 1991.

• Backwards reasoning.
  
  
  
• Weakest pre-condition approach.
  
  
  
• Similar to theorem proving.
  
  
  
• Uses language dependent templates.
  

---