NASA logo

+ Contact NASA



  • + HOME
  • + WELCOME
  • + QUICK PAGE
  • + PHILOSOPHY
  • + TEAM
  • + RESEARCH
  • + LINKS

  • Links to Other Pages Outside of Langley

    We don`t have the time or the desire to try to duplicate the excellent work of Jonathan Bowen in providing links to formal methods work throughout the world. Instead we refer you to his FM Virtual Library link to external site, and Safety-Critical Systems Virtual Library link to external site.

    Some researchers at NASA Ames Research Center also work in formal methods.

    If you`re interested in the applications of formal methods to areas other than just computer system development, then you may be interested in Chris Johnson`s work link to external site.