Research Grants

• Reliable Software Through Very High-Level Verification.

  
  Air Force Office of Scientific Research Grant No. AFOSR-78-3499 began January 1, 1978 at $49,782 for one year. Grant terminated July 31, 1978 because the principal investigator moved from the University of Arizona to Virginia Tech.

  
  

• Reliable Software Through Very High-Level Verification.

  
  Air Force Office of Scientific Research Grant No. AFOSR-79-0021 began October 1, 1978 and ended December 31, 1980 with a project cost of $93,581.

• An Educators Desktop

Carnegie Mellon University Faculty Development Grant beginning June 1, 1999 and ending Fall Term 2000 with a project cost of $2,500.