Chris Johnson, Index

---

Formal Methods: The Mode Confusion Case Study

• Recent, novel use formal analysis.
  
  
• To guide/direct other testing.
  
  
• The mode confusion problem...
  
  
• Several groups:
  - Steve Miller et al(NASA Langley);
  - Denis Javaux(Univ of Liege);
  - Nancy Levelson (MIT);
  - John Rusby(SRI).

---