Skip past navigation NASA Langley Formal Methods



quick page





  home > 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.

We`ve collaborated some with The Jet Propulsion Laboratory (JPL). Their formal methods page is here.

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

If you fly, or know someone who does, you might be interested in NASA`s Aviation Safety and Security Program.

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.

  Skip past navigation  
home | welcome | quick page | philosophy | team | research | quote | links | new?
Curator and Responsible NASA Official: Ricky W. Butler
larc privacy statement
last modified: 15 Sept 2004 (14:20:35)